English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] otags problem
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-02-05 (15:08)
From: Hendrik Tews <tews@t...>
Subject: Re: [Caml-list] camlp4o problem (was: otags problem)

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. ]


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