X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Delivered-To: barryleiba.mailing.lists@gmail.com
Received: by 10.59.3.41 with SMTP id bt9csp135263ved;
        Wed, 2 Jan 2013 08:07:13 -0800 (PST)
X-Received: by 10.66.83.136 with SMTP id q8mr137564726pay.83.1357142832656;
        Wed, 02 Jan 2013 08:07:12 -0800 (PST)
Return-Path: <abnf-discuss-bounces@ietf.org>
Received: from mail.ietf.org (mail.ietf.org. [2001:1890:126c::1:1e])
        by mx.google.com with ESMTP id ax10si44823871pbd.14.2013.01.02.08.07.11;
        Wed, 02 Jan 2013 08:07:12 -0800 (PST)
Received-SPF: pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::1:1e as permitted sender) client-ip=2001:1890:126c::1:1e;
Authentication-Results: mx.google.com; spf=pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::1:1e as permitted sender) smtp.mail=abnf-discuss-bounces@ietf.org; dkim=pass (test mode) header.i=@ietf.org
Received: from ietfa.amsl.com (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id BEBEF21F85D2;
	Wed,  2 Jan 2013 08:07:11 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1;
	t=1357142831; bh=+zkBRZoHDCwJtA92OdbiwivbQX1oVrkV+KI8RvEruVE=;
	h=Message-ID:Date:From:MIME-Version:To:References:In-Reply-To:Cc:
	 Subject:List-Id:List-Unsubscribe:List-Archive:List-Post:List-Help:
	 List-Subscribe:Content-Transfer-Encoding:Content-Type:Sender;
	b=M4YCNvbu7nv2Oq+zsWkYceU2k2mrH/gD8DE2sr1nLA7nrSt0BzUkGF3dWABZEisBC
	 QGL2zwU0UdCLDCYbZTRtb8Mkv0iGidv49tg0IAa5VAg9qfn/7w2pEGLXDy5mu59Sdh
	 QLogXG+OMdDEiIYuRf/f0Rt9o6UTMAOcs2+lphgc=
X-Original-To: abnf-discuss@ietfa.amsl.com
Delivered-To: abnf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id 1E83221F85C6
	for <abnf-discuss@ietfa.amsl.com>; Wed,  2 Jan 2013 08:07:10 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.599
X-Spam-Level: 
X-Spam-Status: No, score=-3.599 tagged_above=-999 required=5
	tests=[BAYES_00=-2.599, RCVD_IN_DNSWL_LOW=-1]
Received: from mail.ietf.org ([64.170.98.30])
	by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id w8Kjq1XIUu0P for <abnf-discuss@ietfa.amsl.com>;
	Wed,  2 Jan 2013 08:07:09 -0800 (PST)
Received: from mail-gh0-f172.google.com (mail-gh0-f172.google.com
	[209.85.160.172])
	by ietfa.amsl.com (Postfix) with ESMTP id 131A921F857A
	for <abnf-discuss@ietf.org>; Wed,  2 Jan 2013 08:07:09 -0800 (PST)
Received: by mail-gh0-f172.google.com with SMTP id z22so1596382ghb.3
	for <abnf-discuss@ietf.org>; Wed, 02 Jan 2013 08:07:02 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=x-received:message-id:date:from:organization:user-agent
	:mime-version:to:cc:subject:references:in-reply-to:content-type
	:content-transfer-encoding;
	bh=J20tZbidzH73drXYhazmbZHEBiYPO6Y0yYLbh4pYnpA=;
	b=YPo+Dk7gsqnb20Dse1T7JadDyF/Cp6T/JyI4LVrRyzX2XVkt9KDiaS2vSINB5W++NC
	gawFf1VUByeBaTwHwXb/4x4hHt0IFIVfV+qoZkvIncJ/99Bo7yLi0cex3gdKr6i51fC6
	/95ZngOEYbPJlR4WX4NIZDW7CMMETor6124T/uENlwlqtGtxxq0Iuwg2Q6zkO3k5zboz
	YH1VxEl+DhDKBI+pLb94jCIndGPad8LGeTW7+961Fj/HnumknHQ5YOEsSoqpOIOhveqt
	73B9sSjZjjsTulnw1LYOsFn0IZk7CQTw4q0MBzK4KwLtcvGbI+ztEJ5ok/LuQQrtjjl5
	sxCA==
X-Received: by 10.236.52.198 with SMTP id e46mr44724671yhc.57.1357142822211;
	Wed, 02 Jan 2013 08:07:02 -0800 (PST)
Received: from [192.168.1.66] (76-218-9-215.lightspeed.sntcca.sbcglobal.net.
	[76.218.9.215])
	by mx.google.com with ESMTPS id x9sm45766666yhl.17.2013.01.02.08.07.00
	(version=SSLv3 cipher=OTHER); Wed, 02 Jan 2013 08:07:01 -0800 (PST)
Message-ID: <50E45B21.20509@gmail.com>
Date: Wed, 02 Jan 2013 08:06:57 -0800
From: Dave Crocker <dcrocker@gmail.com>
Organization: Brandenburg InternetWorking
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
	rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
To: Tony Finch <dot@dotat.at>
References: <50DCD850.3020106@alum.mit.edu>
	<alpine.LSU.2.00.1301021022570.15409@hermes-1.csi.cam.ac.uk>
	<50E45623.9060607@gmail.com>
	<alpine.LSU.2.00.1301021552190.15409@hermes-1.csi.cam.ac.uk>
In-Reply-To: <alpine.LSU.2.00.1301021552190.15409@hermes-1.csi.cam.ac.uk>
Cc: abnf-discuss@ietf.org, Paul Kyzivat <pkyzivat@alum.mit.edu>
Subject: Re: [abnf-discuss] Some thoughts about how to make ABNF more
 convenient to use
X-BeenThere: abnf-discuss@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "General discussion about tools,
	activities and capabilities involving the ABNF meta-language"
	<abnf-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/abnf-discuss>
List-Post: <mailto:abnf-discuss@ietf.org>
List-Help: <mailto:abnf-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=subscribe>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Sender: abnf-discuss-bounces@ietf.org
Errors-To: abnf-discuss-bounces@ietf.org


On 1/2/2013 7:57 AM, Tony Finch wrote:
> Dave Crocker <dcrocker@gmail.com> wrote:
>>
>> It would need to be able to distinguish among potentially independent sets of
>> rules, within a spec. We don't currently have a way to indicate that.
>
> Has there ever been any need for it?

Well, ummm, RFC822 had several parsers, such as for addresses versus 
dates versus free-form like Subject.  Applications often need this, I 
believe.  For that matter, any environment that creates distinct 
processing contexts can easily lead to this.  While a single syntax is 
obviously simpler, I think it's pretty common to wind up creating more 
than one "sub-" syntax, for example.


 > You can solve the problem using an
> informal namespace hack, e.g. named beginning A- are in set A and Z- are
> in set Z. Each independent parser is defined by its starting rule name.

Sure.  The question is whether there is a desire to have automated 
processing that is aware of the distinction.  My own feeling is that it 
would be a useful enhancement to the rigor of using abnf.


>> Also, I like the idea of having a formal construct to 'import' rulesets.  I
>> think this needs a way of labeling the set and declaring its being imported.
>
> At the moment specs tend to just (informally) import all the rules from
> RFC NNNN.

I take the current proposal as noting exactly that existing practice and 
suggesting that it be formalized to permit automated processing.  In 
terms of having a foundation for making an enhancement suggestion, that 
seems pretty strong to me.

What I don't know is whether there will be the community will to pursue 
it -- will we see enough operational benefit?


d/
-- 
  Dave Crocker
  bbiw.net
_______________________________________________
abnf-discuss mailing list
abnf-discuss@ietf.org
https://www.ietf.org/mailman/listinfo/abnf-discuss

