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 RAA21847; Sun, 2 Nov 2003 17:08:00 +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 RAA21794 for ; Sun, 2 Nov 2003 17:07:59 +0100 (MET) Received: from mail1.tpgi.com.au ([203.12.160.57]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hA2G7v127029 for ; Sun, 2 Nov 2003 17:07:57 +0100 (MET) Received: from syd-ts22-2600-088.tpgi.com.au (syd-ts22-2600-088.tpgi.com.au [203.26.30.88]) by mail1.tpgi.com.au (8.11.6/8.11.6) with ESMTP id hA2G6cb03528 for ; Mon, 3 Nov 2003 03:06:39 +1100 Subject: Re: [Caml-list] Int overflow in literals From: skaller Reply-To: skaller@ozemail.com.au To: caml-list@inria.fr In-Reply-To: <200310301614.02646.oleg_trott@columbia.edu> References: <1067522012.5880.6.camel@qrnik> <20031030200519.GA19324@ucdavis.edu> <200310301614.02646.oleg_trott@columbia.edu> Content-Type: text/plain Message-Id: <1067785547.20731.3.camel@pelican> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) Date: 03 Nov 2003 02:05:48 +1100 Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 ozemail:01 oleg:01 issac:01 trotts:01 backend:01 int:01 int:01 overflow:02 parser:02 literals:02 wrote:03 wrote:03 infinite:05 fri:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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. ------------------- 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