<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2003/01/067d91462895ec0d0f2339d1f512c162"
  from="Alain.Frisch@e..."
  author="Alain.Frisch@e..."
  date="2003-01-24T18:13:43"
  subject="Re: [Caml-list] camlp4 vs. ocamllex/yacc?"
  prev="2003/01/3c3cf12c25fab4fa3c81a3f8ffc7ca55"
  next="2003/01/82a960fb7f99446d27d4957637dd61d1"
  prev-in-thread="2003/01/b750165a665728d059f5f21a75402612"
  next-in-thread="2003/01/f1100f388716dc42a64e2753ceb5c891"
  prev-thread="2003/01/523aa1b94528f58393e75c0c7c9d6a13"
  next-thread="2003/01/ca206608ecf5956dd3d853c07789a29d"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] camlp4 vs. ocamllex/yacc?">
<msg 
  url="2003/01/d4902df050448c095838ea81e4151411"
  from="Daniel Andor &lt;da209@c...&gt;"
  author="Daniel Andor"
  date="2003-01-24T14:16:44"
  subject="[Caml-list] camlp4 vs. ocamllex/yacc?">
<msg 
  url="2003/01/df46c7b5337bce14dacd35c53463377b"
  from="Jacques Carette &lt;carette@m...&gt;"
  author="Jacques Carette"
  date="2003-01-24T14:32:31"
  subject="RE: [Caml-list] camlp4 vs. ocamllex/yacc?">
</msg>
<msg 
  url="2003/01/b750165a665728d059f5f21a75402612"
  from="Jean-Christophe Filliatre &lt;Jean-Christophe.Filliatre@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2003-01-24T15:23:17"
  subject="Re: [Caml-list] camlp4 vs. ocamllex/yacc?">
<msg 
  url="2003/01/067d91462895ec0d0f2339d1f512c162"
  from="Alain.Frisch@e..."
  author="Alain.Frisch@e..."
  date="2003-01-24T18:13:43"
  subject="Re: [Caml-list] camlp4 vs. ocamllex/yacc?">
</msg>
<msg 
  url="2003/01/f1100f388716dc42a64e2753ceb5c891"
  from="Ed L Cashin &lt;ecashin@u...&gt;"
  author="Ed L Cashin"
  date="2003-01-27T06:47:35"
  subject="Re: [Caml-list] camlp4 vs. ocamllex/yacc?">
</msg>
</msg>
</msg>
</thread>

<contents>
On Fri, 24 Jan 2003, Jean-Christophe Filliatre wrote:

&gt;  &gt; What are the advantages/disadvantages of using camlp4 vs. a combination of
&gt;  &gt; ocamllex and ocamlyacc?
&gt;
&gt; For  having  used both  of  them intensively,  I  see  (at least)  the
&gt; following advantages of camlp4:
&gt;
&gt;  - it comes with a lexer, saving you the burden of writing one
&gt;    (this lexer conforms to ocaml lexical conventions; for prototype
&gt;    implementations, it is usually fine)
&gt;
&gt;  - it offers high level grammar constructors such as LIST0, LIST1,
&gt;    OPT, ... It results in cleaner and more concise grammars.

I can add:
   - it provides automatic error messages, explaining which rule failed,
     and what was expected

and a disadvantage:
   - no detection of 'conflicts' in grammars


-- Alain
-------------------
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

</contents>

</message>

