Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Calling ocamlyacc from ocamlyacc
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michal Moskal <malekith@p...>
Subject: Re: [Caml-list] Calling ocamlyacc from ocamlyacc
On Mon, Sep 01, 2003 at 01:28:28PM -0400, katre wrote:
> Hello,
> I am currently involved in a project to re-build a compiler for an old
> system from the mid-1980's, where we have the original compiler docs, we
> have the original source files in the language used, but the actual
> compiler itself is lost.  This is an interesting pursuit, and I am
> making use of it to learn ocaml.
> However, due to the nature of this language, which is not very regular
> at all, I am having trouble expressing a parser in ocamlyacc that isn't
> a large hack.  What would be ideal would be to have one main parser, and
> then one sub-parser that I could call only for a specified domain.
> However, all the source code is in one place.
> Is there a way to specify a separate parser and lexer (using ocamllex
> and ocamlyacc), and then to jump into them from an ocamlyacc action?

You can define several start symbols in your grammar. Parsing functions
are defined for each. You can also define several rule ... in your lexer
(lexing functions are defined for each). Hope that helps, I can't help
more, since I don't quite understand nature of your problem.

: Michal Moskal :: : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: