From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7CAC5BC48 for ; Tue, 19 Apr 2005 17:16:59 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j3JFGxDo015995 for ; Tue, 19 Apr 2005 17:16:59 +0200 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 RAA18066 for ; Tue, 19 Apr 2005 17:16:58 +0200 (MET DST) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.203]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3JFGv59030479 for ; Tue, 19 Apr 2005 17:16:58 +0200 Received: by wproxy.gmail.com with SMTP id 69so1526344wra for ; Tue, 19 Apr 2005 08:16:54 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=MAbBzd1eSAVy6QnLfb7jhkTYini/5TEjE3KsCim/1DA1DFB0Y2G16BQnsD6gnjknotXiHfzoiu0MLn503Kz3PqV3/jp0/rmbl1tchYUO5f2UgxqKoZc/PhBYeLUpuYotthEXxAL+qdh+LzIx2Fk1a1XwIR/a+qsPEXnaxKR/QUI= Received: by 10.54.98.20 with SMTP id v20mr927118wrb; Tue, 19 Apr 2005 08:16:54 -0700 (PDT) Received: by 10.54.22.11 with HTTP; Tue, 19 Apr 2005 08:16:52 -0700 (PDT) Message-ID: Date: Tue, 19 Apr 2005 11:16:52 -0400 From: Markus Mottl Reply-To: Markus Mottl To: Inria Ocaml Mailing List Subject: Re: [Caml-list] too few public grammar entry points In-Reply-To: <20050419072527.GA2689@fistandantilus.takhisis.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <20050419072527.GA2689@fistandantilus.takhisis.org> X-Miltered: at concorde with ID 426520EB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 426520EA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 caml-list:01 grammar:01 zacchiroli:01 ocaml:01 grammar:01 ocaml:01 zack:01 wrote:01 wrote:01 rewrite:01 jambon:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.5 required=5.0 tests=INFO_TLD,RCVD_BY_IP autolearn=disabled version=3.0.2 X-Spam-Level: On 4/19/05, Stefano Zacchiroli wrote: > On Mon, Apr 18, 2005 at 01:19:43PM -0700, Martin Jambon wrote: > > If the entry that contains this rule is public, then you can delete the > > rule and rewrite it, and everything is fine. > > Otherwise, you have to improvise. Which is the case here: the type_kind > > entry is not visible from outside. >=20 > I think this is a major problem with current campl4 situation. In my > experience one starts extending an entry point of the ocaml grammar, > then discover that he needs to extend something else, but unfortunately > that "something else" is not public. >=20 > Why there are so few grammar entry points made public? >=20 > I think camlp4-ers life woule be a lot easier if more of them are made > public. I second this suggestion: please add more public entry points to the gramma= r. Regards, Markus --=20 Markus Mottl http://www.ocaml.info markus.mottl@gmail.com