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 OAA22697; Fri, 2 Mar 2001 14:02:48 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA22825 for ; Fri, 2 Mar 2001 14:02:47 +0100 (MET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f22D2l900374 for ; Fri, 2 Mar 2001 14:02:47 +0100 (MET) Received: from pc803.lri.fr (IDENT:root@pc803 [129.175.8.114]) by ext.lri.fr (8.11.1/jtpda-5.3.2) with ESMTP id f22D2ku16149 ; Fri, 2 Mar 2001 14:02:46 +0100 (MET) Received: by pc803.lri.fr (8.9.3/feuille) id OAA24508 ; Fri, 2 Mar 2001 14:02:47 +0100 X-Authentication-Warning: localhost.localdomain: filliatr set sender to filliatr@pc803 using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15007.39415.612361.167527@pc803> Date: Fri, 2 Mar 2001 14:02:47 +0100 (MET) To: Laurent Reveillere Cc: caml-list@inria.fr Subject: Re: [Caml-list] Problem when parsing In-Reply-To: <3A9F79EC.56C757EA@labri.fr> References: <3A9F79EC.56C757EA@labri.fr> X-Mailer: VM 6.49 under Emacs 20.4.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Laurent Reveillere writes: > I wrote a small parser for iso C which does nothing (for now). > The lexer and parser files are well compiled by ocamllex and ocamlyacc. > But when I run the generated program, I have the following error : > > Fatal error: uncaught exception Failure(lexing: empty token) This exception is raised by the lexer when input does not match any of the lexer rules. So it has probably to do with your lexer rules, not with your parser rules. Hope this helps, -- Jean-Christophe FILLIATRE mailto:Jean-Christophe.Filliatre@lri.fr http://www.lri.fr/~filliatr ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr