5 Feb
2012
5 Feb
'12
11:52 a.m.
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.
David