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