X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Delivered-To: barryleiba.mailing.lists@gmail.com
Received: by 10.112.12.166 with SMTP id z6csp616546lbb;
        Sat, 29 Dec 2012 09:32:38 -0800 (PST)
X-Received: by 10.69.0.199 with SMTP id ba7mr98337742pbd.165.1356802357452;
        Sat, 29 Dec 2012 09:32:37 -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 u7si35950247paw.40.2012.12.29.09.32.36;
        Sat, 29 Dec 2012 09:32:37 -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 C887B21F86C3;
	Sat, 29 Dec 2012 09:32:35 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1;
	t=1356802355; bh=mPo8IS/ySkSTsx1M2lb++ehH8rPnOTYlwkMsfVWmKbg=;
	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=HB6fvyHJjKwxoth8feltUK6JSvAgA8GRJVfefePPT1dejKKoWkR2BG+EAhFdoX3EC
	 4CX95F3rEr8WjgSF9EMV/S460W3AeICnnssYpMRiEQ/vpHcljbhIuzm4Mx2sauJSdP
	 yDJn9sacXL/Ufc5ShGhmRO9myExbouAOFxPEX4Es=
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 8C56421F86A8
	for <abnf-discuss@ietfa.amsl.com>; Sat, 29 Dec 2012 09:32:33 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.415
X-Spam-Level: 
X-Spam-Status: No, score=-0.415 tagged_above=-999 required=5 tests=[AWL=0.022, 
	BAYES_00=-2.599, FH_RELAY_NODNS=1.451, HELO_MISMATCH_NET=0.611, 
	RDNS_NONE=0.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 F2s4CI3vksIC for <abnf-discuss@ietfa.amsl.com>;
	Sat, 29 Dec 2012 09:32:32 -0800 (PST)
Received: from qmta15.westchester.pa.mail.comcast.net
	(qmta15.westchester.pa.mail.comcast.net
	[IPv6:2001:558:fe14:44:76:96:59:228])
	by ietfa.amsl.com (Postfix) with ESMTP id 4DF2B21F8540
	for <abnf-discuss@ietf.org>; Sat, 29 Dec 2012 09:32:30 -0800 (PST)
Received: from omta21.westchester.pa.mail.comcast.net ([76.96.62.72])
	by qmta15.westchester.pa.mail.comcast.net with comcast
	id hUz41k0041ZXKqc5FVYWlP; Sat, 29 Dec 2012 17:32:30 +0000
Received: from Paul-Kyzivats-MacBook-Pro.local ([50.138.229.164])
	by omta21.westchester.pa.mail.comcast.net with comcast
	id hVYV1k01B3ZTu2S3hVYVb2; Sat, 29 Dec 2012 17:32:30 +0000
Message-ID: <50DF292C.3060406@alum.mit.edu>
Date: Sat, 29 Dec 2012 12:32:28 -0500
From: Paul Kyzivat <pkyzivat@alum.mit.edu>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
	rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
To: "Joe Hildebrand (jhildebr)" <jhildebr@cisco.com>
References: <A723FC6ECC552A4D8C8249D9E07425A70F7C6D29@xmb-rcd-x10.cisco.com>
In-Reply-To: <A723FC6ECC552A4D8C8249D9E07425A70F7C6D29@xmb-rcd-x10.cisco.com>
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=comcast.net;
	s=q20121106; t=1356802350;
	bh=ldAz5eyzSfojkOzMNwuF6zN7ISnHTZ8qCqpsFdOaNug=;
	h=Received:Received:Message-ID:Date:From:MIME-Version:To:Subject:
	Content-Type;
	b=iIi/sXnmt0NNbD2ajaj92natTmiEurCDr+FLkEvDjfkoRklwv6QkVDu9I8X9KElG0
	XVem7hYLW5FdoAiZrLlPf7N3OR75q7w3pKMnuOlOovVhDBGzMCDg/YwmfYX0ca/MiP
	tytvZV89aTElFM+4EljWaukIjftSDjEy1AFC0wMbYl5OMDqqncdStXVL4bdPlZLKa8
	J7NI878in5lnaBDydr8ZQr4xQ7u8soBdcZcY3asnzCo1yWfr/7DnXni/ZIbNgDiICG
	nTx/zJv8aMYI2pmGgHx2gcmNbURFQaCga/yjTAYLg3us26ZdCVnMCKZp04EQwR32MM
	TF0ZmLRZZTKow==
Cc: "abnf-discuss@ietf.org" <abnf-discuss@ietf.org>,
	Daniel van Vugt <vanvugt@gmail.com>
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 12/29/12 1:39 AM, Joe Hildebrand (jhildebr) wrote:
> On 12/29/12 1:11 AM, "Paul Kyzivat" <pkyzivat@alum.mit.edu> wrote:
>
>> On 12/29/12 12:56 AM, Daniel van Vugt wrote:
>
>>> Has there ever been a similar proposal for delimiting and automating
>>> extraction of sample code from RFCs?
>>
>> I don't know. That's why I'm asking.
>
> Yes.  That's on the rfc-interest@rfc-editor.org mailer.  It has been
> asserted there that nobody would ever want to extract the ABNF from an I-D
> or RFC programmatically, so perhaps you'd like to weigh in.

OK, I'll look into that.

> The prototype I have for a possible way forward does what you want already:
>
> https://github.com/IETF-Formatters/html-rfc

That would be complementary to what I have in mind.
It would cover the extraction of abnf from a draft.

The other part I am interested in is extending abnf syntax to allow a 
formal import of abnf from one draft into another draft.

	Thanks,
	Paul

> If you have nicely marked-up HTML and an ABNF parser handy, the checking
> ABNF for syntax errors is as small as:
>
> https://github.com/IETF-Formatters/html-rfc/blob/master/nits/check-abnf.js
>
>

_______________________________________________
abnf-discuss mailing list
abnf-discuss@ietf.org
https://www.ietf.org/mailman/listinfo/abnf-discuss

