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"

    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
    



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