From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by pauillac.inria.fr; Mon, 21 Mar 94 19:12:11 +0100
Received: by pauillac.inria.fr; Mon, 21 Mar 94 17:36:00 +0100
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)
Sender: weis@pauillac.inria.fr
Organization: INRIA - BP 105 - F-78153 Rocquencourt Cedex
              Tel.: (33 1) (16 1) 39 63 55 98 Fax: (33 1) (16 1) 39 63 53 30
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