-----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-----
On Wed, 01 Dec 2010 15:10:38 +0100, Luca Saiu <Luca.Saiu@lipn.univ-paris13.fr> wrote:
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.
Et si c'est moi qui trouve le premier, on met un point en moins à tout le monde ;-) -- Cordialement, Jean-Yves Moyen. http://www-lipn.univ-paris13.fr/~moyen/
participants (2)
-
Jean-Yves Moyen -
Luca Saiu