parser syntax?

parser syntax?

[Jonathan Roewen]

Hi,

How do I use the parser syntax in OCaml? I was looking at genlex, and
the given code doesn't compile. Doesn't seem to like the parser
keyword or something.

Jonathan

Re: [Caml-list] parser syntax?

[Jon Harrop]

On Monday 31 October 2005 06:01, Jonathan Roewen wrote:
> How do I use the parser syntax in OCaml? I was looking at genlex, and
> the given code doesn't compile. Doesn't seem to like the parser
> keyword or something.

Just a guess but should it be piped through camlp4 to get the stream and 
parser syntax?

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists

Re: [Caml-list] parser syntax?

[Jonathan Roewen]

> Just a guess but should it be piped through camlp4 to get the stream and
> parser syntax?

Ohh, is this a change from ocaml 2.x? Is there a script somewhere that
can almost automatically convert ocaml 2.x syntax to 3.x?

Re: [Caml-list] parser syntax?

[Oliver Bandel]

On Mon, Oct 31, 2005 at 07:24:29PM +1300, Jonathan Roewen wrote:
> > Just a guess but should it be piped through camlp4 to get the stream and
> > parser syntax?
> 
> Ohh, is this a change from ocaml 2.x? Is there a script somewhere that
> can almost automatically convert ocaml 2.x syntax to 3.x?
[...]

IMHO camlp4 and the compilers could be used in ONE
command. I don't know if camlp4 could invoke the compilers
or the compilers could invoke camlp4 (I think the latter was the case),
but IMHO something like that was possible (at least in older releases).

But I always found this behaviour very strange and
if camlp4 only works as a filter/preprocessor I think this is much more
clear. (Maybe a problem in documentation of these features that I
found it strange.)

Ciao,
   Oliver

Re: [Caml-list] parser syntax?

[David Brown]

On Mon, 2005-10-31 at 13:37 +0100, Oliver Bandel wrote:

> IMHO camlp4 and the compilers could be used in ONE
> command. I don't know if camlp4 could invoke the compilers
> or the compilers could invoke camlp4 (I think the latter was the case),
> but IMHO something like that was possible (at least in older releases).

Isn't that the purpose of 'ocamlc -pp ...'?

Dave

Re: [Caml-list] parser syntax?

[Jonathan Roewen]

So what's the command line I need to compile source with 'parser' syntax?

Re: [Caml-list] parser syntax?

[Matt Gushee]

Jonathan Roewen wrote:

>> So what's the command line I need to compile source with 'parser' syntax?


I think

  ocamlc -pp camlp4o -c mysource.ml

should be sufficient. In some cases you might need to load additional
Camlp4 modules, in which case you'd do something like:

  ocamlc -pp 'camlp4o foo.cmo' -c mysource.ml

E.g., a commonly-used set for when you write your own syntax extensions is:

  ocamlc -pp 'camlp4o pa_extend.cmo q_MLast.cmo' -c mysource.ml

[ Pa_extend parses the grammar extension syntax, and Q_MLast processes
  quotation expanders to generate an AST. ]

But that's not what you're doing, so try the simplest version first.

--
Matt Gushee
Englewood, CO, USA