-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 J'ai juste trouvé un bug : la version courante de TrivialML accepte le programme suivant, clairement pas bien typé : let x : int = 1 in x + True Trouvez l'erreur dans le fichier type_checking.ml ; pourquoi le contrôle de type passe ? Si Jean-Yves est d'accord, j'aimerais donner un petit bonus sur la note finale au premier étudiant donnant la réponse correcte. - -- 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/ iEYEARECAAYFAkz2V14ACgkQvzOavibF0obfeQCfelijrkVH4Jnq93/XA50ttTTL gbEAniYbXh/WRze/t+cSFr8v6sraj9Xg =tS48 -----END PGP SIGNATURE-----