"Yaron Minsky" <yminsky@cs.cornell.edu> writes:

> since it turns out that specialized float version of equality is
> different from the polymorphic version.

Here's an especially fun example:

# nan = nan;;
- : bool = false
# let (=) = (=);;
val ( = ) : 'a -> 'a -> bool = <fun>
# nan = nan;;
- : bool = true



-- 
Jed Davis <jldavis@cs.oberlin.edu>  Selling of self: http://panix.com/~jdev/rs/
<jdev@panix.com>  PGP<-finger A098:903E:9B9A:DEF4:168F:AA09:BF07:807E:F336:59F9
\   "But life wasn't yes-no, on-off.  Life was shades of gray, and rainbows
/\   not in the order of the spectrum."  -- L. E. Modesitt, Jr., _Adiamante_

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners