From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA23110 for caml-redistribution; Wed, 3 Feb 1999 11:58:34 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA28769 for ; Sun, 31 Jan 1999 13:21:14 +0100 (MET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id NAA11822 for ; Sun, 31 Jan 1999 13:21:13 +0100 (MET) Received: (from filliatr@localhost) by ext.lri.fr (8.9.1a/8.9.1) id NAA20535; Sun, 31 Jan 1999 13:20:58 +0100 (MET) From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14004.19113.478392.452813@ext.lri.fr> Date: Sun, 31 Jan 1999 13:20:57 +0100 (MET) To: "Sussillo, David" Cc: "'caml-list@inria.fr'" Subject: Re: unsigned word type in OCaml? In-Reply-To: <36B23B0D@smtp.ftintl.com> References: <36B23B0D@smtp.ftintl.com> X-Mailer: VM 6.49 under Emacs 20.2.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Content-Transfer-Encoding: 7bit Sender: weis > 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