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 58178BC48 for ; Tue, 19 Apr 2005 09:25:29 +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 j3J7PSaM019076 for ; Tue, 19 Apr 2005 09:25:29 +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 JAA05051 for ; Tue, 19 Apr 2005 09:25:28 +0200 (MET DST) Received: from lea.cs.unibo.it (lea.cs.unibo.it [130.136.1.101]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3J7PSaH005428 for ; Tue, 19 Apr 2005 09:25:28 +0200 Received: from fistandantilus.takhisis.org (n32d144.cs.unibo.it [130.136.32.144]) by lea.cs.unibo.it (Postfix) with ESMTP id 235728B3F9 for ; Tue, 19 Apr 2005 09:25:28 +0200 (CEST) Received: by fistandantilus.takhisis.org (Postfix, from userid 3148) id EB7D727406C; Tue, 19 Apr 2005 09:25:27 +0200 (CEST) Date: Tue, 19 Apr 2005 09:25:27 +0200 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: too few public grammar entry points Message-ID: <20050419072527.GA2689@fistandantilus.takhisis.org> Mail-Followup-To: Inria Ocaml Mailing List References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.9i X-Miltered: at concorde with ID 4264B269.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4264B268.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 grammar:01 ocaml:01 grammar:01 cheers:01 zacchiroli:01 unibo:01 zack:01 zack:01 wrote:01 rewrite:01 jambon:01 debian:02 problem:05 stefano:05 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: 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. 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. Why there are so few grammar entry points made public? I think camlp4-ers life woule be a lot easier if more of them are made public. Cheers. -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!-