1 Dec
2010
1 Dec
'10
4:43 p.m.
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/