-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. Le compilateur a dit que votre implémentation du module ne respecte pas la signature de ENV_CORE, et que en particulier votre définition de bind n'a pas le type correcte. Mais probablement vous avez compris que, en réalité, votre bind a «moralement» le type correcte. Peut-être que son type semble différent au compilateur à cause de votre type environnement ? Remarquez que le type environnement doit être abstrait ! Cordialement, On 01/30/2011 05:17 PM, j j wrote:

Bonjour,

Lors de la compilation du module EnvCoreList, j'ai l'erreur suivante :

Error: Signature mismatch: Modules do not match: sig type value = int type variable = string type 'a environment = (variable * value) list exception Unbound_variable of variable exception Incompatible_environments of variable val empty : 'a list val unbind : 'a -> ('a * 'b) list -> ('a * 'b) list val bind : 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list val is_bound : 'a -> ('a * 'b) list -> bool val lookup : variable -> (variable * 'a) list -> 'a val var_list : ('a * 'b) list -> 'a list end is not included in ENV_CORE * Values do not match: val bind : 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list is not included in val bind : variable -> 'a -> 'a environment -> 'a environment*

ceci est du à quoi?

_______________________________________________ PFA mailing list PFA@lipn.univ-paris13.fr https://intranet.lipn.univ-paris13.fr/mailman/listinfo/pfa

- -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk1GfXMACgkQvzOavibF0obzEwCeJEuISPt+4xtmbXtU3DAZ5Zq3 wzAAoJgIYoXSD8qBxxyw+xgaFc0VyuqO =0GQ7 -----END PGP SIGNATURE-----