From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA10809; Tue, 5 Feb 2002 17:13:13 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA10587 for ; Tue, 5 Feb 2002 17:13:12 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g15GDBH26954 for ; Tue, 5 Feb 2002 17:13:11 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id RAA21695 for caml-list@inria.fr; Tue, 5 Feb 2002 17:13:11 +0100 Date: Tue, 5 Feb 2002 17:13:11 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] camlp4o problem (was: otags problem) Message-ID: <20020205171311.R23898@verdot.inria.fr> References: <9BE7FA48-1771-11D6-A336-003065BDAA76@ece.ucsb.edu> <15454.38553.300800.53941@gargle.gargle.HOWL> <20020204155242.B2338@verdot.inria.fr> <15455.62821.983393.899624@gargle.gargle.HOWL> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <15455.62821.983393.899624@gargle.gargle.HOWL>; from tews@tcs.inf.tu-dresden.de on Tue, Feb 05, 2002 at 04:08:21PM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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