Hi,

Daniel de Rauglaudre writes:
   Date: Mon, 4 Feb 2002 15:52:42 +0100
   Subject: Re: [Caml-list] camlp4o problem (was: otags problem)
   
   > For Daniel de Rauglaudre: Because normal ocaml users are now
   > sometimes requested to use camlp4o for parsing (for instance for
   > streams) I think it makes sense to provide a camlp4 parser that
   > is _exacly_ ocaml. Maybe by placing the quotation syntax in a
   > separate file, say pa_q.cmo?
   
   This is a problem of lexing, not parsing. I could add a flag to set
   or unset the lexing of quotations.
   
I would like to have this flag.

   Remark: but to be _exactly_ ocaml, the only solution is to use
   _exactly_ the same technology, i.e. ocamlyacc. There will be
   always differences in the behaviour of the two systems.
   
Well, what I meant is that 
- camlp4o parses a file if and only if ocamlc parses it, and 
- the resulting ast's are semantically equivalent. 

I think this should be possible. And I would suggest to add an
operation mode to camlp4o that makes it equivalent with ocamlc
(in the above sense). 


[Sorry for starting this discussion about syntax. I don't use the
 revised syntax because it not fully documented (e.g., revised
 syntax of objects). Further there is no grammar for the revised
 syntax. ]


Bye,

Hendrik
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr