From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA12113; Mon, 2 Jun 2003 15:30:56 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
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 PAA12118 for <caml-list@pauillac.inria.fr>; Mon, 2 Jun 2003 15:30:55 +0200 (MET DST)
Received: from exchfe1.cs.cornell.edu (exchfe1.cs.cornell.edu [128.84.97.27])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h52DUsT10418
	for <caml-list@inria.fr>; Mon, 2 Jun 2003 15:30:54 +0200 (MET DST)
Received: from EXCHVS2.cs.cornell.edu ([128.84.97.24]) by exchfe1.cs.cornell.edu with Microsoft SMTPSVC(5.0.2195.5329);
	 Mon, 2 Jun 2003 09:29:51 -0400
content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Subject: RE: [Caml-list] implementing bit vectors in OCaml
X-MimeOLE: Produced By Microsoft Exchange V6.0.6375.0
Date: Mon, 2 Jun 2003 09:29:50 -0400
Message-ID: <FB4F95390166B14C90E4DD950D69D6E246F39A@EXCHVS2.cs.cornell.edu>
Thread-Topic: [Caml-list] implementing bit vectors in OCaml
Thread-Index: AcMoX6i3yaL8n3W+TmyxIpAkjnIr9AAqvATw
From: "Gregory Morrisett" <jgm@CS.Cornell.EDU>
To: "Norman Ramsey" <nr@eecs.harvard.edu>, <caml-list@inria.fr>
X-OriginalArrivalTime: 02 Jun 2003 13:29:51.0344 (UTC) FILETIME=[0BA7EF00:01C3290B]
X-Spam: no; 0.00; morrisett:01 cornell:01 caml-list:01 vectors:01 -greg:01 tagged:01 ocaml:01 lsr:03 jgm:03 array:04 efficient:05 integers:05 bits:05 implementing:07 lsl:13 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

>   * An array of tagged integers, which will be less efficient as
>     dividing by 31 is more expensive than shifting.

Wait -- you can still use tagged integers.  Why do you need
to divide by 31?  You can still use Bits.lsr/lsl/land/etc, no?

-Greg

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners