Version française
Home     About     Download     Resources     Contact us    
Browse thread
mixing lexers with camlp4
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pietro Abate <Pietro.Abate@a...>
Subject: Re: [Caml-list] mixing lexers with camlp4
On Fri, Feb 02, 2007 at 05:26:06PM +1100, Pietro Abate wrote:
> well, it seems it doesn't. Now I get this error:
> Error: entries "psymbol" and "symbol" do not belong to the same grammar.
> Fatal error: exception Failure("Grammar.extend error")
> - Is there a way of forcing this behaviour ?
I don't think this is possible as the type "grammar 'te" in gramext.ml
is not exposed in the mli and there are no functions to modify its
value. In particular I don't think gram_reinit and reinit_gram are of
any use in this case.

Ok, I stop here with this problem.

p

-- 
++ Blog: http://blog.rsise.anu.edu.au/?q=pietro
++ 
++ "All great truths begin as blasphemies." -George Bernard Shaw
++ Please avoid sending me Word or PowerPoint attachments.
   See http://www.fsf.org/philosophy/no-word-attachments.html