On 05/02/12 11:51, David Matthews wrote:
On 03/02/2012 15:44, Phil Clayton wrote:
It appears that Poly/ML overloads operators + - < <= >= > for Time.time
but they shouldn't be, according to the Basis Library.
http://www.standardml.org/Basis/top-level-chapter.html#section:3
Perhaps they were overloaded once upon a Time.time...
Yes, it looks as though strictly speaking you're right. It does seem
strange, though, to have these operators and not include them in the
overloading. I'm rather reluctant to remove the overloading but I
appreciate as it stands it doesn't comply with the definition.
I discovered this when MLton rejected some existing code I had. SML/NJ
also follows the Basis Library strictly too. I suppose the question is
whether the potential portability problems outweigh the benefits.
Phil
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
