From: "Yaron M. Minsky" <yminsky@cs.cornell.edu>
To: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] camlp4o problem (was: otags problem)
Date: 06 Feb 2002 14:17:17 -0500 [thread overview]
Message-ID: <1013023039.1488.4.camel@dragonfly.localdomain> (raw)
In-Reply-To: <20020205171311.R23898@verdot.inria.fr>
I've found a similar oddity with respect to camlp4 and the % infix
operator. In particular:
dragonfly: yminsky $ ocaml
Objective Caml version 3.04
# #load "camlp4o.cma";;
Camlp4 Parsing version 3.04
# let ( % ) x y = x + y;;
val ( % ) : int -> int -> int = <fun>
# 3 % 4;;
Toplevel input:
# 3 % 4;;
^
Parse error: ';;' expected after [phrase] (in [top_phrase])
#
The above works normally if you don't load camlp4o first. Any clues as
to what might be going on?
y
On Tue, 2002-02-05 at 11:13, Daniel de Rauglaudre wrote:
> Hi,
>
> On Tue, Feb 05, 2002 at 04:08:21PM +0100, Hendrik Tews wrote:
>
> > I would like to have this flag.
>
> Ok, I added it:
>
> $ ocaml
> Objective Caml version 3.04+5 (2002-02-01)
>
> # #load "camlp4o.cma";;
> Camlp4 Parsing version 3.04+5 (2002-02-01)
>
> # let ( <:> ) x y = x + y;;
> Toplevel input:
> # let ( <:> ) x y = x + y;;
> ^
> Lexing error: character '<' expected
> # Plexer.no_quotations := true;;
> - : unit = ()
> # let ( <:> ) x y = x + y;;
>
> > 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.
>
> And what I meant is:
> - this is impossible
> - I can just try to be as close as possible
>
> > Further there is no grammar for the revised syntax.
>
> BTW, is there a grammar for the normal syntax? I didn't find it in
> the documentation.
>
> With Camlp4, you can print the syntax of expressions by typing:
> Grammar.Entry.print Pcaml.expr
>
> Well, I am thinking of using this function to print the syntax of all
> grammar in LateX or HTML or so.
>
> --
> Daniel de RAUGLAUDRE
> daniel.de_rauglaudre@inria.fr
> http://cristal.inria.fr/~ddr/
> -------------------
> 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
>
--
|--------/ Yaron M. Minsky \--------|
|--------\ http://www.cs.cornell.edu/home/yminsky/ /--------|
Open PGP --- KeyID B1FFD916 (new key as of Dec 4th)
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916
-------------------
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
next prev parent reply other threads:[~2002-02-06 19:17 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-02 0:12 [Caml-list] otags problem Shivkumar Chandrasekaran
2002-02-04 14:11 ` [Caml-list] camlp4o problem (was: otags problem) Hendrik Tews
2002-02-04 14:52 ` Daniel de Rauglaudre
2002-02-04 15:08 ` Markus Mottl
2002-02-04 15:41 ` Daniel de Rauglaudre
2002-02-04 15:57 ` Christophe Raffalli
2002-02-04 17:06 ` Daniel de Rauglaudre
2002-02-04 16:25 ` [Caml-list] syntax change (was: camlp4o problem) Markus Mottl
2002-02-04 17:01 ` Daniel de Rauglaudre
2002-02-04 17:46 ` Markus Mottl
2002-02-04 18:08 ` Daniel de Rauglaudre
2002-02-06 8:19 ` M E Leypold @ labnet
2002-02-04 18:28 ` Mattias Waldau
2002-02-04 20:11 ` Markus Mottl
2002-02-04 22:52 ` Chris Hecker
2002-02-04 23:04 ` Benjamin C. Pierce
2002-02-04 23:28 ` Markus Mottl
2002-02-04 23:20 ` Markus Mottl
2002-02-05 2:39 ` Daniel de Rauglaudre
2002-02-05 2:55 ` Chris Hecker
2002-02-05 2:01 ` Brian Rogoff
2002-02-05 10:33 ` Markus Mottl
2002-02-05 11:53 ` Remi VANICAT
2002-02-05 12:05 ` Daniel de Rauglaudre
2002-02-05 17:23 ` Stefano Zacchiroli
2002-02-22 10:15 ` [Caml-list] Emacs mode for revised syntax? Johan Georg Granström
2002-02-22 10:21 ` Christian Gillot
2002-02-06 8:23 ` [Caml-list] syntax change (was: camlp4o problem) M E Leypold @ labnet
2002-02-04 23:04 ` Chris Hecker
2002-02-05 2:47 ` Daniel de Rauglaudre
2002-02-05 2:59 ` Chris Hecker
2002-02-05 8:42 ` Daniel de Rauglaudre
2002-02-05 9:09 ` [Caml-list] LL, LR, and camlp4 (was Re: syntax change) Chris Hecker
2002-02-05 9:31 ` Daniel de Rauglaudre
2002-02-05 9:33 ` Xavier Leroy
2002-02-05 12:17 ` Diego olivier FERNANDEZ PONS
2002-02-05 3:40 ` [Caml-list] camlp4o problem (was: otags problem) Patrick M Doane
2002-02-05 8:57 ` Daniel de Rauglaudre
2002-02-06 4:00 ` Patrick M Doane
2002-02-05 15:08 ` Hendrik Tews
2002-02-05 16:13 ` Daniel de Rauglaudre
2002-02-06 19:17 ` Yaron M. Minsky [this message]
2002-02-06 20:02 ` [Caml-list] Re: bug (was: camlp4o problem) Daniel de Rauglaudre
2002-02-04 22:15 ` [Caml-list] camlp4o problem (was: otags problem) Shivkumar Chandrasekaran
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1013023039.1488.4.camel@dragonfly.localdomain \
--to=yminsky@cs.cornell.edu \
--cc=caml-list@inria.fr \
--cc=daniel.de_rauglaudre@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox