Re : Weak types ?

From: Moreau (lyclaire@ac-grenoble.fr)
Date: Fri Feb 06 1998 - 19:49:10 MET


From: "Moreau" <lyclaire@ac-grenoble.fr>
To: "Caml list" <caml-list@inria.fr>
Subject: Re : Weak types ?
Date: Fri, 6 Feb 1998 19:49:10 +0100

Simon Helsen had given an explication about weak types and the reason their
existence, but there is still something i can't understand : if we do :

let toto y =
 let id x = x in
id id y ;;

this will be of type 'a ->'a
What is the difference with this :

let toto = let id x = x in id id ;;

I thought caml will understand that there is no difference !

why does caml make this difference ?



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:13 MET