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