Browse thread
equality operators in OCaml
-
Raj Bandyopadhyay
- Vincent Hanquez
-
Jon Harrop
-
Peng Zang
- Christophe TROESTLER
- Matthew William Cox
-
Peng Zang
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Christophe TROESTLER <Christophe.Troestler+ocaml@u...> |
| Subject: | Re: [Caml-list] equality operators in OCaml |
On Thu, 24 Jul 2008 21:40:36 -0400, Peng Zang wrote: > > On Thursday 24 July 2008 06:32:36 pm Jon Harrop wrote: > > There are some complications here. Firstly, NaN has multiple > > representations that may or may not be physically equal but is always > > structurally unequal to itself. > > Yeah, that always seemed broken to me. If two things are physically equal > (they occupy the same memory space) it doesn't make sense for them to be > structurally unequal (contain different content). Personally, one of the > first things I did is redefined (=) to fix this. Humm... http://citeseer.ist.psu.edu/goldberg91what.html is certainly a good read... My 0.02¤, C.