English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Equality of functional values
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-01-30 (08:46)
From: David MENTRE <dmentre@l...>
Subject: Re: [Caml-list] Equality of functional values
Hello Gerd,

2007/1/29, Gerd Stolpmann <info@gerd-stolpmann.de>:
> As far as I remember there was a slight change for the equality around
> 3.07 or 3.08.

I think that was in OCam 3.08:
Objective Caml 3.08.0:
(Changes that can break existing programs are marked with a "*"  )
Standard library:
* Revised handling of NaN floats in polymorphic comparisons.
  The polymorphic boolean-valued comparisons (=, <, >, etc) now treat
  NaN as uncomparable, as specified by the IEEE standard.
  The 3-valued comparison (compare) treats NaN as equal to itself
  and smaller than all other floats.  As a consequence, x == y
  no longer implies x = y but still implies compare x y = 0.

Best wishes,