Re: Grammar

Stephane Bortzmeyer <bortzmeyer@nic.fr> Mon, 08 January 2007 21:07 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H41i7-0000zA-2f; Mon, 08 Jan 2007 16:07:15 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H41i6-0000z2-6V for cosmogol@ietf.org; Mon, 08 Jan 2007 16:07:14 -0500
Received: from bortzmeyer.netaktiv.com ([80.67.170.53] helo=mail.bortzmeyer.org) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H41i4-000874-TZ for cosmogol@ietf.org; Mon, 08 Jan 2007 16:07:14 -0500
Received: by mail.bortzmeyer.org (Postfix, from userid 10) id 874CA240813; Mon, 8 Jan 2007 22:07:09 +0100 (CET)
Received: by mail.sources.org (Postfix, from userid 1000) id 736311154C; Mon, 8 Jan 2007 22:04:05 +0100 (CET)
Date: Mon, 08 Jan 2007 22:04:05 +0100
From: Stephane Bortzmeyer <bortzmeyer@nic.fr>
To: "Clive D.W. Feather" <clive@demon.net>
Message-ID: <20070108210405.GC29407@sources.org>
References: <20070108150010.GR12419@finch-staff-1.thus.net>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <20070108150010.GR12419@finch-staff-1.thus.net>
X-Transport: UUCP rules
X-Operating-System: Debian GNU/Linux 3.1
User-Agent: Mutt/1.5.9i
X-Spam-Score: 0.1 (/)
X-Scan-Signature: ffa9dfbbe7cc58b3fa6b8ae3e57b0aa3
Cc: cosmogol@ietf.org
Subject: Re: Grammar
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org

On Mon, Jan 08, 2007 at 03:00:10PM +0000,
 Clive D.W. Feather <clive@demon.net> wrote 
 a message of 132 lines which said:

> I've taken the liberty of reviewing and rewriting the grammar. 

First, many thanks for the huge practical work. I've not studied it in
depth, yet, but I invite people to read it and express opinions about
what we should integrate in -02.

Second, a few details (more substantive comments will follow):

> * Renamed "comment-wsp" as "GAP", making it more obvious it's a
> syntactic item with no semantics.

XXX-wsp is already used as a production name in RFCs. See RFC 4234
which have set the example.

> * Added definitions for all the undefined tokens (appendix B of RFC 4234
>   is *NOT* part of the definition of ABNF).

Hmmm, I thought the purpose of "core" (appendix B) was precisely to
avoid redefinition. So, it seems to me there is no need to add these
definitions. (See option -t of abnfgen.)



_______________________________________________
Cosmogol mailing list
Cosmogol@ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol