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 TAA23167; Wed, 28 Jul 2004 19:02:19 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA24799 for ; Wed, 28 Jul 2004 19:02:18 +0200 (MET DST) Received: from cirrus.purplecloud.com (cirrus.purplecloud.com [217.158.94.220]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i6SH2HEV001016 for ; Wed, 28 Jul 2004 19:02:17 +0200 Received: (qmail 56591 invoked from network); 28 Jul 2004 17:02:17 -0000 Received: from 81-86-133-45.dsl.pipex.com (HELO ?192.168.1.176?) (81.86.133.45) by smtp.purplecloud.net with AES256-SHA encrypted SMTP; 28 Jul 2004 17:02:17 -0000 Message-ID: <4107DC2A.9070008@jollys.org> Date: Wed, 28 Jul 2004 18:02:34 +0100 From: Peter Jolly Reply-To: caml-list User-Agent: Mozilla Thunderbird 0.7.2 (Windows/20040707) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list Subject: Re: [Caml-list] Slight parsing difference with/without -pp "camlp4o" References: <20040720092114.GA11136@redhat.com> <20040728160311.GA24587@quincy.inria.fr> In-Reply-To: <20040728160311.GA24587@quincy.inria.fr> In-Reply-To: <20040728160311.GA24587@quincy.inria.fr> References: <20040720092114.GA11136@redhat.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 4107DC19.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 -pp:01 camlp:01 camlp:01 conforms:01 permissive:01 ocamlc:01 -pp:01 ocamlc:01 htmlman:01 ocaml:01 ocaml:01 caml:01 int:01 syntax:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Michel Mauny wrote: > Hum, according to the grammar given at > http://caml.inria.fr/ocaml/htmlman/manual008.html, this should be > accepted by ocaml. Either the spec is too large, or the ocaml parser > is too restrictive (and camlp4o conforms to the spec, here). Camlp4o is also more permissive with "with" in record constructions: $ cat test.ml type t = { a: int } let f() = { a = 0 } let y = { f() with a = 1 } $ ocamlc -pp camlp4o test.ml $ ocamlc test.ml File "test.ml", line 3, characters 11-12: Syntax error ------------------- 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