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 RAA22377; Sun, 2 Nov 2003 17:22:37 +0100 (MET) 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 RAA22433 for ; Sun, 2 Nov 2003 17:22:36 +0100 (MET) Received: from herd.plethora.net (herd.plethora.net [205.166.146.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hA2GMZ127581 for ; Sun, 2 Nov 2003 17:22:35 +0100 (MET) Received: from bhurt.plethora.net (bhurt.plethora.net [205.166.146.49]) by herd.plethora.net (8.11.6/8.10.1) with ESMTP id hA2GMQC05448; Sun, 2 Nov 2003 10:22:26 -0600 (CST) Date: Sun, 2 Nov 2003 10:23:07 -0600 (CST) From: Brian Hurt X-X-Sender: bhurt@localhost.localdomain To: skaller cc: caml-list@inria.fr Subject: Re: [Caml-list] Int overflow in literals In-Reply-To: <1067785547.20731.3.camel@pelican> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 oleg:01 issac:01 trotts:01 in-:99 bignum:01 constants:01 backend:01 int:01 int:01 nov:01 overflow:02 parser:02 literals:02 compile:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 3 Nov 2003, skaller wrote: > On Fri, 2003-10-31 at 08:14, Oleg Trott wrote: > > On Thursday 30 October 2003 03:05 pm, Issac Trotts wrote: > > > > > Or, better yet, use Big_int: > > Felix does that, and i'm very happy with the idea. > Constant folding is done in "infinite" precision. > The check for size, if done, would occur in the backend > code generator .. not the parser. > This is a bad idea. I'd like the constant folding to be done in the word length that the code will be executed in- this way, there is no difference between code that is executed at run time and code that is executed at compile time. Now, being able to have bignum constants... Brian ------------------- 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