Re: Woups!

[td@babar.inria.fr (Thierry Despeyroux)]

The message "Woups! There is a bug in the Typol type-checker" is
produced by a catch-all rule of the Typol type-checker. It means
that there is an error in your program that is detected by the
type-checker, but the corresponding recovery rule that is supposed
to emit the appropriate error message is missing.

This was the case for errors concerning tails in list expresions.
This is (of course) corrected in the next version.

Thierry.
-- 
Send contributions to centaur@sophia.inria.fr. Registration and
administrative matters should be sent to centaur-request@sophia.inria.fr.
+---------------------------------------------------------------------------+
|     Thierry Despeyroux      | email: Thierry.Despeyroux@sophia.inria.fr   |
| I.N.R.I.A. Sophia-Antipolis | phone: +33 93 65 77 07 fax: +33 93 65 77 66 |
+---------------------------------------------------------------------------+