[polyml] Overloaded operators for Time.time

[Phil Clayton]

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...
Phil
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml