Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000107OCamlOCaml generalpublic2000-05-11 02:202000-05-24 03:40
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000107: Inexistant type variable name in error message
DescriptionFull_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.

TagsNo tags attached.
Attached Files

- Relationships

-  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.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker