Re: Grammar

"Clive D.W. Feather" <clive@demon.net> Mon, 08 January 2007 23:57 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H44Mp-0003Ug-RR; Mon, 08 Jan 2007 18:57:27 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H44Mo-0003UK-85 for cosmogol@ietf.org; Mon, 08 Jan 2007 18:57:26 -0500
Received: from anchor-internal-1.mail.demon.net ([195.173.56.100]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H44Mm-0004uw-RA for cosmogol@ietf.org; Mon, 08 Jan 2007 18:57:26 -0500
Received: from finch-staff-1.server.demon.net (finch-staff-1.server.demon.net [193.195.224.1]) by anchor-internal-1.mail.demon.net with ESMTP� id l08NvNqh027611Mon, 8 Jan 2007 23:57:24 GMT
Received: from clive by finch-staff-1.server.demon.net with local (Exim 3.36 #1) id 1H44Ml-0004kV-00; Mon, 08 Jan 2007 23:57:23 +0000
Date: Mon, 8 Jan 2007 23:57:23 +0000
From: "Clive D.W. Feather" <clive@demon.net>
To: Stephane Bortzmeyer <bortzmeyer@nic.fr>
Message-ID: <20070108235723.GA17340@finch-staff-1.thus.net>
References: <20070108150010.GR12419@finch-staff-1.thus.net> <20070108210405.GC29407@sources.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20070108210405.GC29407@sources.org>
User-Agent: Mutt/1.5.3i
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 0bc60ec82efc80c84b8d02f4b0e4de22
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

Stephane Bortzmeyer said:
>> * 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.

But at least they called it c-wsp, which is less obtrusive when you come to
read the syntax. If you wanted to use that, I wouldn't object.

>> * 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.

In which case you need to explicitly call it in.

| Appendix B supplies rule definitions [...] It is provided as a
| convenience and is otherwise separate from the meta language defined
| in the body of this document, and separate from its formal status.

I agree terms used in appendix B shouldn't be given different meanings, but
in RFC 3977 (blush) we included a definition of all those we used.

-- 
Clive D.W. Feather  | Work:  <clive@demon.net>   | Tel:    +44 20 8495 6138
Internet Expert     | Home:  <clive@davros.org>  | Fax:    +44 870 051 9937
Demon Internet      | WWW: http://www.davros.org | Mobile: +44 7973 377646
THUS plc            |                            |

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