Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Inexistant type variable name in error message #2445

Closed
vicuna opened this issue May 11, 2000 · 2 comments
Closed

Inexistant type variable name in error message #2445

vicuna opened this issue May 11, 2000 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented May 11, 2000

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.

@vicuna
Copy link
Author

vicuna commented May 11, 2000

Comment author: administrator

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

@vicuna
Copy link
Author

vicuna commented May 24, 2000

Comment author: administrator

Hopefully fixed on 2000-05-12 by Jacques, but could not check.

@vicuna vicuna closed this as completed May 24, 2000
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant