From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 00998BC6B for ; Tue, 10 Jul 2007 15:18:35 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.229]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6ADIYh6015723 for ; Tue, 10 Jul 2007 15:18:35 +0200 Received: by nz-out-0506.google.com with SMTP id z3so956423nzf for ; Tue, 10 Jul 2007 06:18:34 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=rB6Q1/q+Ivhs43V93KmXP21HMvYHZ35fzna1eS+FQFiuMVLGCJ+z1MBpR04STuNBlbyVtCUXIXB++NUWHJxW1tQhaBx2UeqAzvNwT/j4a1Iqx6V+oB9jpaDhdbpe7j0yCmZ/8ZvBt9DP3am9BHAgQkK+Fx9JTrZ9cwigGmDGuaI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=hwa5sSugPdxWM+ILqNLQb8YW9haBfdmJIflHRnjy58dStS/+P7moxi5ptEqMzUD03zE8B7dIFlRIpgNWW/yGKSlrdM+BItMJlsZjFqNsAS1Am3wxEtfylFScd4grx9fiQqIYN25XpPRHEn6pSnbp53/bGOMzI+04yhUDv/XWs7o= Received: by 10.115.72.1 with SMTP id z1mr4193577wak.1184073514109; Tue, 10 Jul 2007 06:18:34 -0700 (PDT) Received: by 10.114.181.8 with HTTP; Tue, 10 Jul 2007 06:18:34 -0700 (PDT) Message-ID: Date: Tue, 10 Jul 2007 15:18:34 +0200 From: "Nicolas Pouillard" To: dsb@prairienet.org, "Daniel de Rauglaudre" Subject: Re: [Caml-list] sequence parser, revised syntax Cc: caml-list@inria.fr In-Reply-To: <20070710092733.GB1266@yquem.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <47259.192.17.3.107.1183990952.squirrel@mail.prairienet.org> <20070710092733.GB1266@yquem.inria.fr> X-j-chkmail-Score: MSGID : 4693872A.002 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4693872A.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parser:01 syntax:01 rauglaudre:01 rauglaudre:01 cmo:01 ocamlc:01 -pp:01 camlp:01 cmo:01 mlast:01 camlp:01 pcaml:01 ocaml:01 syntax:01 pcaml:01 On 7/10/07, Daniel de Rauglaudre wrote: > Hi, Hi, > > On Mon, Jul 09, 2007 at 09:22:32AM -0500, dsb@prairienet.org wrote: > > > $ make stdlibr.cmo > > ocamlc -pp "camlp4r pa_extend.cmo q_MLast.cmo" \ > > -I +camlp4 -c stdlibr.ml > > File "stdlibr.ml", line 20, characters 40-48: > > Unbound value Pcaml.sequence > > make: *** [stdlibr.cmo] Error 2 FYI in ocaml 3.10... > Some of the grammar sub-entries used in the files defining the syntax > (e.g. "sequence") are indeed not accessible in the Pcaml module. In 3.10 sequence is exported (so extensible). > The problem is that there are many of them, many small entries useful > only in specifics parts of the grammar. In 3.10 most of them are exported. > These small entries may change, appear, disappear, from a version of > camlp4 to another when new things are added in the language syntax, or > to fix possible bugs. It is often difficult to "standardize" them. Even if it's difficult we tend to reach a stability point and then prefer expose these things. > Moreover, some of these entries may be used in revised syntax and not > in normal syntax and vice-versa, or have a different type and semantics. In 3.10 both syntaxes share a common grammar (the revised one), therefore there are closer in types and semantics. Cheers, -- Nicolas Pouillard