Comment author: administrator

daniel.de_rauglaudre@inria.fr wrote:

Salut,

La correction du bug #2925 fait planter le "make opt.opt" dans Camlp4:

Ca le fait aussi quand on fait 'make bootstrap' dans la version cvs de
la distrib ...

Comment author: administrator

Fixed 2001-09-29 by JG. Se mefier de Env.find_type.

Comment author: administrator

La correction du bug #2925 fait planter le "make opt.opt" dans Camlp4:
parsetree.cmi was not found in compiler's load path

C'est pour quoi, ce message? Ça me le faisait pas, avant. Il n'y a pas
d'accès (direct) au module Parsetree dans pr_dump.ml. Faut-il que
j'ajoute quand même l'accès au répertoire ../../parsing (où se trouve
parsetree.cmi) dans mon Makefile? Et pourquoi devrais-je faire ça si
je ne l'utilise pas directement?

Aargh, mea culpa, mea maxima culpa.
Petite erreur de semantique.
C'est maintenant corrige' plus directement.
Remarque que le resultat de cette semantique est un message d'erreur
bizarre pour l' exemple du PR:

File "t.ml", line 27, characters 28-29:
This expression has type
behav = < elements : string -> Lib.LibT3.cvs_info list; foo : string >
but is here used with type 'a T2.behav

Quand on n'a pas acces au module d'origine, le sous-typage change de
semantique...

    Jacques

Comment author: administrator

Aargh, mea culpa, mea maxima culpa.
Petite erreur de semantique.
C'est maintenant corrige' plus directement.
Remarque que le resultat de cette semantique est un message d'erreur
bizarre pour l' exemple du PR:

File "t.ml", line 27, characters 28-29:
This expression has type
behav = < elements : string -> Lib.LibT3.cvs_info list; foo : string >
but is here used with type 'a T2.behav

Quand on n'a pas acces au module d'origine, le sous-typage change de
semantique...

C'est vrai aussi pour l'équivalence entre types: si A.t est une
abréviation mais qu'on ne trouve pas A.cmi, on traite A.t comme
abstrait. Je sais que c'est un peu bizarre, mais sinon on peut être
obligé de mettre plein de -I pour que le compilo arrive à "dérouler"
de longues dépendances de types. Donc, laissons comme cela pour le
moment.

• Xavier