Browse thread
Bug in equality testing?
- Valerie.Menissier@i...
[
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: | Valerie.Menissier@i... |
| Subject: | Bug in equality testing? |
It is a well-known bug of the compilation of Caml Light. In fact, the
variables a and b are internally represented as:
----- ---- ---- ------ ---- ----
| App | | | and | Pair | | |
----- -/-- --\- ------ -/-- --\-
/ \ / \
"X" [] "X" []
so the generic equality says these 3-tuples are not equal since their
headers are not the same!
Valerie Menissier-Morain