Version française
Home     About     Download     Resources     Contact us    
Browse thread
unsigned word type in OCaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <filliatr@l...>
Subject: Re: unsigned word type in OCaml?

> I'm working on a low level systems project, and I'm thinking about using   
> OCaml as the langauge.  However, try as I might, I simply cannot find a   
> reference to a machine word type.
> 
> More specially, I need:
> a. byte access to machine words
> b. unsigned 32 bit quantities (e.g. physical address)
> c. bitwise boolean operations (shifts, not, and & or)

One year ago, I wrote a small (boxed) 32-bit integers library for
ocaml, which is freely available here :

       http://www.lri.fr/~filliatr/ftp/ocaml/int32/

It provides the standard operations, including bitwise boolean operations.
It is easy to adapt it to unsigned 32-bit integers.

-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr