From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA01277 for caml-red; Fri, 9 Jun 2000 18:30:59 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA27286 for ; Thu, 8 Jun 2000 18:09:29 +0200 (MET DST) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e58G9Sj20883 for ; Thu, 8 Jun 2000 18:09:28 +0200 (MET DST) Received: from cylinder.csl.sri.com (IDENT:filliatr@cylinder.csl.sri.com [130.107.15.112]) by csla.csl.sri.com (8.9.1/8.9.1) with ESMTP id JAA22720 for ; Thu, 8 Jun 2000 09:09:27 -0700 (PDT) Received: (from filliatr@localhost) by cylinder.csl.sri.com (8.9.3/8.8.7) id JAA06792; Thu, 8 Jun 2000 09:09:26 -0700 X-Authentication-Warning: cylinder.csl.sri.com: filliatr set sender to filliatr@cylinder.csl.sri.com using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14655.50486.355042.478626@cylinder.csl.sri.com> Date: Thu, 8 Jun 2000 09:09:26 -0700 (PDT) To: caml-list@inria.fr Subject: hash and nums X-Mailer: VM 6.62 under Emacs 20.4.1 Reply-To: filliatr@csl.sri.com (Jean-Christophe Filliatre) Sender: weis 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