You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 107 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
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) ?
Merci par avance.
The text was updated successfully, but these errors were encountered:
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".
Original bug ID: 107
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Vladimir Vyskocil
Version: 3.00
OS:
Submission from: orion.kurims.kyoto-u.ac.jp (130.54.16.5)
Submitted by: garrigue
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) ?
Merci par avance.
The text was updated successfully, but these errors were encountered: