On 30/11/2013 13:16, Phil Clayton wrote:
There was a discussion about this on the MLton mailing list while ago
and MLton now has an annotation to control the context used:
http://thread.gmane.org/gmane.comp.lang.ml.mlton.user/1335/focus=6086
http://sourceforge.net/p/mlton/code/7618/
I thought
29/11/13 13:47, David Matthews wrote:
The ML standard is not specific about what the program context should
be when disambiguating flexible records and overloading. Poly/ML uses
as wide a context as possible but that can mean that a program that
compiles with Poly/ML won't necessarily compile
The ML standard is not specific about what the program context should
be when disambiguating flexible records and overloading. Poly/ML uses
as wide a context as possible but that can mean that a program that
compiles with Poly/ML won't necessarily compile with other
implementations. I've