From: Michal Moskal <malekith@pld-linux.org>
To: katre <katre@henchmonkey.org>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Calling ocamlyacc from ocamlyacc
Date: Tue, 2 Sep 2003 17:19:22 +0200 [thread overview]
Message-ID: <20030902151922.GB4055@roke.freak> (raw)
In-Reply-To: <20030901172828.GA24208@henchmonkey.org>
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 :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h
-------------------
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
next prev parent reply other threads:[~2003-09-02 15:21 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-09-01 17:28 katre
2003-09-02 15:19 ` Michal Moskal [this message]
2003-09-02 15:23 ` katre
2003-09-02 15:40 ` Michal Moskal
2003-09-03 10:28 ` Hendrik Tews
2003-09-06 3:36 ` skaller
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20030902151922.GB4055@roke.freak \
--to=malekith@pld-linux.org \
--cc=caml-list@inria.fr \
--cc=katre@henchmonkey.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).