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=0.0 required=5.0 tests=none 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 95D61BC6B for ; Tue, 10 Jul 2007 11:27:33 +0200 (CEST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6A9RXv7001504 for ; Tue, 10 Jul 2007 11:27:33 +0200 Received: by yquem.inria.fr (Postfix, from userid 25991) id 38537BC6B; Tue, 10 Jul 2007 11:27:33 +0200 (CEST) Date: Tue, 10 Jul 2007 11:27:33 +0200 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] sequence parser, revised syntax Message-ID: <20070710092733.GB1266@yquem.inria.fr> References: <47259.192.17.3.107.1183990952.squirrel@mail.prairienet.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <47259.192.17.3.107.1183990952.squirrel@mail.prairienet.org> User-Agent: Mutt/1.5.9i X-Miltered: at discorde with ID 46935105.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; rauglaudre:01 rauglaudre:01 parser:01 syntax:01 cmo:01 ocamlc:01 -pp:01 camlp:01 cmo:01 mlast:01 camlp:01 pcaml:01 syntax:01 pcaml:01 vice-versa:01 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 Some of the grammar sub-entries used in the files defining the syntax (e.g. "sequence") are indeed not accessible in the Pcaml module. The problem is that there are many of them, many small entries useful only in specifics parts of the grammar. 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. 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. The solution is to rewrite, yourself, the missing entry in your sources. You can see how "sequence" is implemented in the revised syntax and copy it (it is short). Perhaps the function Grammar.Entry.print should show differently the "accessible" entries and the "non accessible" ones. I am going to see if it is possible to implement that. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/