[MLton] ML/Lisp/Scheme, =, eq?, eqv?, equal?

Bradley Lucier lucier@math.purdue.edu
Mon, 23 Feb 2004 17:00:17 -0500

> Any way, I think that it all depends on the common case.  Of course 
> there
> is Real.==, so it isn't that the operation isn't available.

OK, thanks, that helps.  So ML does have the nonreflexive Real.==; the 
question seems to be whether it thinks it's a bad idea to define a 
reflexive = (like Scheme eqv?, I think now) and make Real an equality 
type.  And if so, why?