[MLton-devel] Incompatibility with Moscow ML: "before"

Matthew Fluet fluet@cs.cornell.edu
Fri, 17 Oct 2003 11:12:13 -0400 (EDT)


> Moscow ML thinks that the type of before is 'a * 'b -> 'a, and so the
> above is legal, but MLton wants before to be 'a * () -> 'a.
>
> Is this a bug in one of the MLs?

The Standard Basis Library lists:
 val before : 'a * unit -> 'a
so Moscow ML would appear to be overly forgiving.



-------------------------------------------------------
This SF.net email sponsored by: Enterprise Linux Forum Conference & Expo
The Event For Linux Datacenter Solutions & Strategies in The Enterprise 
Linux in the Boardroom; in the Front Office; & in the Server Room 
http://www.enterpriselinuxforum.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel