0000107: Inexistant type variable name in error message

Notes
(0000383) administrator (administrator) 2000-05-11 03:10	> Full_Name: Vladimir Vyskocil > Version: 3.00 > > Bonjour, > > Voici une erreur recu lors de la compilation de notre logiciel de > differentiation automatique (voir > fichier en attachement vu la taille imposante !!!). Est ce normal que > l'erreur se termine par : > > where 'i is unbound > > alors que 'i n'apparait pas ailleurs dans le message d'erreur (dans la > signature de la classe) ? Ca semble bien etre un bug, mais je n'en ai pas encore trouve' l'origine. L'erreur correcte serait where .. is unbound En effet, tous les noms de variables apparaissant dans votre type correspondent a` des alias, et ne sont donc pas des variables libres. Mais des types de la forme .. ou #classname contiennent aussi une variable anonyme; dans votre cas c'est "global_info_enter : < [...]; .. > as 'h". Jacques Garrigue

(0000384) administrator (administrator) 2000-05-24 03:40	Hopefully fixed on 2000-05-12 by Jacques, but could not check.

Relationships