hash and nums

From: Jean-Christophe Filliatre (filliatr@csl.sri.com)
Date: Thu Jun 08 2000 - 18:09:26 MET DST

Next message: Daniel Ortmann: "Re: Reverse-Engineering Bytecode: A Possible Commercial Objection To O'Caml"

Previous message: Brent Fulgham: "RE: Reverse-Engineering Bytecode: A Possible Commercial Objection To O'Caml"
Reply: Xavier Leroy: "Re: hash and nums"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Next message: Daniel Ortmann: "Re: Reverse-Engineering Bytecode: A Possible Commercial Objection To O'Caml"
Previous message: Brent Fulgham: "RE: Reverse-Engineering Bytecode: A Possible Commercial Objection To O'Caml"
Reply: Xavier Leroy: "Re: hash and nums"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Fri Jun 09 2000 - 18:34:27 MET DST