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 SAA13140; Mon, 4 Nov 2002 18:02:03 +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 SAA13347 for ; Mon, 4 Nov 2002 18:02:02 +0100 (MET) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gA4H21515147 for ; Mon, 4 Nov 2002 18:02:01 +0100 (MET) Received: from ithif51 (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.12.6/8.12.6) with ESMTP id gA4H21CX006296 for ; Mon, 4 Nov 2002 18:02:01 +0100 (MET) Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian)) id 188kbx-0004D7-00 for ; Mon, 04 Nov 2002 18:02:01 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15814.43017.131530.150945@gargle.gargle.HOWL> Date: Mon, 4 Nov 2002 18:02:01 +0100 (CET) To: caml-list@inria.fr Subject: Re: [Caml-list] camlp4 Plexer.no_quotations default In-Reply-To: <20021030150514.Z21451@verdot.inria.fr> References: <15807.53583.487615.872051@gargle.gargle.HOWL> <20021030150514.Z21451@verdot.inria.fr> X-Mailer: VM 6.75 under Emacs 20.7.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Daniel de Rauglaudre writes: Date: Wed, 30 Oct 2002 15:05:14 +0100 Subject: Re: [Caml-list] camlp4 Plexer.no_quotations default On Wed, Oct 30, 2002 at 01:32:15PM +0100, Hendrik Tews wrote: > > the default value for Plexer.no_quotations is false. This lets > "camlp4o pr_o.cmo" fail on legal ocaml programs like > let ( <:> ) x y = x + y;; > I would suggest to make the default value true. Originally I thought that there are no quotation expanders defined in the bare camlp4 executable. Therefore I suggested that quotation expansion should be off by default. By grepping for Quatation.add I learned that camlp4 contains at least two quotation expanders: "id" and "string". Are there more? Where are they documented? (I would also be interested in why they are included in camlp4?) What I could do, if you want, is to add an option of the command line of Camlp4 setting it to true. You could use it like that: ocamlc -pp "camlp4o -no_quot" ... An option would be fine. Bye, Hendrik ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners