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

[Matthew Fluet]

> 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