Parsing ANSI C using OCAML

Parsing ANSI C using OCAML

[Laurent Reveillere]

I have to build a lexer/parser for the ANSI C language.
Does anyone now if such a tool exists in OCAML?

-- 
Laurent

Re: Parsing ANSI C using OCAML

[John Max Skaller]

Laurent Reveillere wrote:
> 
> I have to build a lexer/parser for the ANSI C language.
> Does anyone now if such a tool exists in OCAML?

	ANSI? How come even the proud French refer to
an old fashioned American Standard, when it was supplanted
years ago by an ISO one? Its even published in English
and French :-)

-- 
John (Max) Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
checkout Vyper http://Vyper.sourceforge.net
download Interscript http://Interscript.sourceforge.net

Re: Parsing ANSI C using OCAML

[Jean-Christophe Filliatre]

In his message of Thu November 30, 2000, Laurent Reveillere writes: 
> I have to build a lexer/parser for the ANSI C language.
> Does anyone now if such a tool exists in OCAML?

I  don't know  of  such a  lexer/parser. But  you  can find  a lot  of
lex/yacc grammars  for ANSI C on  the web, which can  be easily turned
into ocamllex/ocamlyacc grammars. Here is such a site:

     http://www.lysator.liu.se/c/ANSI-C-grammar-y.html

Hope this helps,
-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr

Re: Parsing ANSI C using OCAML

[Remi VANICAT]

Laurent Reveillere <Laurent.Reveillere@labri.u-bordeaux.fr> writes:

> I have to build a lexer/parser for the ANSI C language.
> Does anyone now if such a tool exists in OCAML?

i'have seen frontc that is here :
http://www.irit.fr/ACTIVITES/EQ_HECTOR/casse/ULYSSE.html#software 

but i haven't try it.

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat

Re: Parsing ANSI C using OCAML

[Sven LUTHER]

On Thu, Nov 30, 2000 at 09:00:54AM +0100, Laurent Reveillere wrote:
> I have to build a lexer/parser for the ANSI C language.
> Does anyone now if such a tool exists in OCAML?

Well, while doing the c2caml tool, i had to implement a C parser, well it is
not complete, but nicely parses all of the gtk+ header files.

Maybe you can use it.

It will be on c2caml.sourceforge.net, but i hadn't had time to create the
pages for it yet. In the meantime, if you need it, i could send it to you or
put it in my anonymous repository on my work box ?

It is GPLed code though.

Friendly,

Sven Luther