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"

Previous message: Max Skaller: "Re: Unsigned integers?"
In reply to: Jean-Christophe Filliatre: "Re: Unsigned integers?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Next message: Markus Mottl: "Re: to have labels or not"
Previous message: Max Skaller: "Re: Unsigned integers?"
In reply to: Jean-Christophe Filliatre: "Re: Unsigned integers?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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