Re: Unsigned integers?

From: Max Skaller (maxs@in.ot.com.au)
Date: Thu Mar 23 2000 - 03:41:38 MET

  • Next message: Markus Mottl: "Re: to have labels or not"

    Jean-Christophe Filliatre wrote:
     
    > I wrote such a C library to handle (boxed) 32 or 64 bits integers (you
    > can find it on my web page). But it appeared that it was not very
    > efficient, and when I rewrote my program using an encoding with two
    > Caml integers, it was really faster.
    >
    > So I would suggest you to write such a library in Caml. For a good
    > starting point, you may have a look at the module Nativeint in ocaml
    > sources (in utils/nativeint.ml).

    OK. This is probably the way to do it.

    -- 
    John (Max) Skaller at OTT [Open Telecommications Ltd]
    mailto:maxs@in.ot.com.au      -- at work
    mailto:skaller@maxtal.com.au  -- at home
    



    This archive was generated by hypermail 2b29 : Thu Mar 23 2000 - 13:55:23 MET