Version française
Home     About     Download     Resources     Contact us    
Browse thread
Bug in equality testing?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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