caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] p4 (newbie) question
@ 2002-01-21 18:22 Ian Zimmerman
  2002-01-22  8:47 ` Daniel de Rauglaudre
  0 siblings, 1 reply; 4+ messages in thread
From: Ian Zimmerman @ 2002-01-21 18:22 UTC (permalink / raw)
  To: OCAML


Looking at the documentation for the MLast quotations in camlp4
reference manual, the very first node is

<:expr< $e1$ . $e2$ >> : access in records an in modules

Now I understand that camlp4 is all syntax, but even so, aren't these
two fundamentally different things?  In other words, shouldn't there
be 2 distinct nodes like this

<:expr< $e1$ . $e2$ >> : access in records
<:expr< $me1$ . $e2$ >> : access in modules

This is a practical issue when constructing my grammar --- I have
rules that derive module_expr, so how do I put them together with the
core expr rules to derive possibly qualified identifiers?

-- 
Ian Zimmerman, Oakland, California, U.S.A.
GPG: 433BA087  9C0F 194F 203A 63F7 B1B8  6E5A 8CA3 27DB 433B A087
In his own soul a man bears the source
from which he draws all his sorrows and his joys.
Sophocles.
-------------------
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


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2002-01-22 15:05 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-01-21 18:22 [Caml-list] p4 (newbie) question Ian Zimmerman
2002-01-22  8:47 ` Daniel de Rauglaudre
2002-01-22 14:46   ` Ian Zimmerman
2002-01-22 15:05     ` Daniel de Rauglaudre

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).