Date: Mon, 21 Mar 94 17:36:00 +0100
Message-Id: <9403211636.AA20092@pauillac.inria.fr>
From: Valerie.Menissier@inria.fr (Vale'rie Me'nissier-Morain)
To: caml-list@pauillac.inria.fr
In-Reply-To: John Harrison's message of Sun, 20 Mar 94 15:24:23 +0000 <"swan.cl.cam.:202150:940320152434"@cl.cam.ac.uk>
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