From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p04Hr8Ur018481 for ; Tue, 4 Jan 2011 18:53:08 +0100 X-IronPort-AV: E=Sophos;i="4.60,273,1291590000"; d="scan'208";a="85344234" Received: from yquem.inria.fr ([128.93.8.37]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jan 2011 18:53:03 +0100 Received: by yquem.inria.fr (Postfix, from userid 18965) id E647DE1C94; Tue, 4 Jan 2011 18:53:03 +0100 (CET) Date: Tue, 4 Jan 2011 18:53:03 +0100 From: Francois Pottier To: Jean Krivine Cc: bluestorm , =?iso-8859-1?B?VPZy9ms=?= Edwin , caml-list@inria.fr Message-ID: <20110104175303.GB1535@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <4D23353C.8020803@gmail.com> <1125074892.441923.1294163043602.JavaMail.root@zmbs2.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1125074892.441923.1294163043602.JavaMail.root@zmbs2.inria.fr> User-Agent: Mutt/1.5.18 (2008-05-17) Subject: Re: [Caml-list] Array.make exception and parser On Tue, Jan 04, 2011 at 06:44:03PM +0100, Jean Krivine wrote: > I just tried menhir. Looks great ! Problem is it generates an invalid > myParser.ml file: > it contains a integer > > _menhir_shifted = 4611686018427387903; > > which way beyond int32 integers. I guess it comes from my grammar file which > is certainly very bad, but in any case I should receive some insult from > menhir first no ? Weird. Could you send a bug report that includes your grammar (if possible) as well as the generated file and send it either to me or (even better) to menhir-list@yquem.inria.fr? In the meantime, you may also try with the --table option (this uses a different code generation scheme). -- François Pottier Francois.Pottier@inria.fr http://gallium.inria.fr/~fpottier/