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 RAA22626 for caml-redistribution; Mon, 18 Oct 1999 17:03:05 +0200 (MET DST) 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 QAA14082 for ; Mon, 18 Oct 1999 16:47:45 +0200 (MET DST) Received: from mail1.entropic.co.uk ([193.115.202.63]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA06687 for ; Mon, 18 Oct 1999 16:47:42 +0200 (MET DST) Received: from callisto.entropic.co.uk (callisto.entropic.co.uk [193.115.202.125]) by mail1.entropic.co.uk (8.9.1b+Sun/8.9.3) with ESMTP id PAA01415 for ; Mon, 18 Oct 1999 15:46:35 +0100 (BST) Received: by callisto.entropic.co.uk with Internet Mail Service (5.5.1960.3) id ; Mon, 18 Oct 1999 15:47:37 +0100 Message-ID: From: Edwin Young To: "'caml-list@inria.fr'" Subject: 32 bit integers Date: Mon, 18 Oct 1999 15:47:36 +0100 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.1960.3) Content-Type: text/plain Sender: weis Hi, several people have been requesting features to be included in a forthcoming O'Caml/O'Labl merge, so I thought I'd add a humble plea for some support for untagged (presumably boxed) integers. I'm looking mostly at camlidl, the documentation for which says: "Since the Caml int type has one bit of tag, the conversion from IDL types int and long loses the most significant bit on 32-bit platforms". I don't think that's terribly satisfactory. If there isn't going to be a 32-bit type, can anyone suggest a workaround (eg can I convince camlidl to map all ints to floats)? Thanks, -- Edwin Young