* Re: Parsing ANSI C using OCAML
2000-11-30 8:00 Parsing ANSI C using OCAML Laurent Reveillere
@ 2000-12-04 3:48 ` John Max Skaller
2000-12-04 7:44 ` Jean-Christophe Filliatre
` (2 subsequent siblings)
3 siblings, 0 replies; 5+ messages in thread
From: John Max Skaller @ 2000-12-04 3:48 UTC (permalink / raw)
To: Laurent Reveillere; +Cc: caml-list
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
^ permalink raw reply [flat|nested] 5+ messages in thread* Re: Parsing ANSI C using OCAML
2000-11-30 8:00 Parsing ANSI C using OCAML Laurent Reveillere
2000-12-04 3:48 ` John Max Skaller
@ 2000-12-04 7:44 ` Jean-Christophe Filliatre
2000-12-04 12:25 ` Remi VANICAT
2000-12-04 12:40 ` Sven LUTHER
3 siblings, 0 replies; 5+ messages in thread
From: Jean-Christophe Filliatre @ 2000-12-04 7:44 UTC (permalink / raw)
To: Laurent Reveillere; +Cc: caml-list
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
^ permalink raw reply [flat|nested] 5+ messages in thread* Re: Parsing ANSI C using OCAML
2000-11-30 8:00 Parsing ANSI C using OCAML Laurent Reveillere
2000-12-04 3:48 ` John Max Skaller
2000-12-04 7:44 ` Jean-Christophe Filliatre
@ 2000-12-04 12:25 ` Remi VANICAT
2000-12-04 12:40 ` Sven LUTHER
3 siblings, 0 replies; 5+ messages in thread
From: Remi VANICAT @ 2000-12-04 12:25 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Parsing ANSI C using OCAML
2000-11-30 8:00 Parsing ANSI C using OCAML Laurent Reveillere
` (2 preceding siblings ...)
2000-12-04 12:25 ` Remi VANICAT
@ 2000-12-04 12:40 ` Sven LUTHER
3 siblings, 0 replies; 5+ messages in thread
From: Sven LUTHER @ 2000-12-04 12:40 UTC (permalink / raw)
To: Laurent Reveillere; +Cc: caml-list
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
^ permalink raw reply [flat|nested] 5+ messages in thread