Version française
Home     About     Download     Resources     Contact us    
Browse thread
hash and nums
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <filliatr@c...>
Subject: hash and nums

It seems that the properties
   
	(eq_num n1 n2)  =>  (hash n1) = (hash n2)
	(eq_num n1 n2)  =>  (compare n1 n2) = 0

are now true in ocaml  3.00, although not stated in the documentation.
Can we safely assume these properties from now on?

-- 
Jean-Christophe Filliatre    
  Computer Science Laboratory   Phone (650) 859-5173
  SRI International             FAX   (650) 859-2844
  333 Ravenswood Ave.           email  filliatr@csl.sri.com
  Menlo Park, CA 94025, USA     web    http://www.csl.sri.com/~filliatr