From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA01029 for caml-redistribution@pauillac.inria.fr; Thu, 23 Mar 2000 13:34:24 +0100 (MET) Resent-Message-Id: <200003231234.NAA01029@pauillac.inria.fr> 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 UAA10349 for ; Wed, 22 Mar 2000 20:10:13 +0100 (MET) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA25907 for ; Wed, 22 Mar 2000 20:10:13 +0100 (MET) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id UAA17418; Wed, 22 Mar 2000 20:10:06 +0100 (MET) From: Markus Mottl Message-Id: <200003221910.UAA17418@miss.wu-wien.ac.at> Subject: Re: Unsigned integers? To: filliatr@csl.sri.com Date: Wed, 22 Mar 2000 20:10:06 +0100 (MET) Cc: caml-list@inria.fr (OCAML) In-Reply-To: <14552.64829.556329.741989@cylinder.csl.sri.com> from "Jean-Christophe Filliatre" at Mar 22, 2000 09:05:01 AM X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Thu, 23 Mar 2000 13:34:24 +0100 Resent-To: caml-redistribution@pauillac.inria.fr > 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). Or even more conveniently: check out the current CVS-repository at INRIA! Seems that the problems with integers are soon going to be history... -> ocaml/stdlib/int32.mli ocaml/stdlib/int64.mli Though, I fear that unboxed, complete native integers will never be supported. Anyway, if you only need complete 32-bit-ints, you may as well purchase a real processor (Alpha)... ;-) Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl