caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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


  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;
as well as URLs for NNTP newsgroup(s).