Re: [spfbis] WGLC: draft-ietf-spfbis-4408bis-14

Alessandro Vesely <vesely@tana.it> Fri, 10 May 2013 09:54 UTC

Return-Path: <vesely@tana.it>
X-Original-To: spfbis@ietfa.amsl.com
Delivered-To: spfbis@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 2C17621F8B64 for <spfbis@ietfa.amsl.com>; Fri, 10 May 2013 02:54:16 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.052
X-Spam-Level:
X-Spam-Status: No, score=-6.052 tagged_above=-999 required=5 tests=[AWL=0.667, BAYES_00=-2.599, GB_I_LETTER=-2, HELO_EQ_IT=0.635, HOST_EQ_IT=1.245, RCVD_IN_DNSWL_MED=-4]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fEjv4iGTp-Yv for <spfbis@ietfa.amsl.com>; Fri, 10 May 2013 02:54:11 -0700 (PDT)
Received: from wmail.tana.it (wmail.tana.it [62.94.243.226]) by ietfa.amsl.com (Postfix) with ESMTP id A640621F859D for <spfbis@ietf.org>; Fri, 10 May 2013 02:54:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tana.it; s=beta; t=1368179644; bh=nlSr3/l4elCUmBilrzixza0rB73nhBPwKT+l+oYIoRw=; l=2306; h=Date:From:To:References:In-Reply-To; b=brgKtclo9f1NmATBDkfgc4023FSLoCrVZe5c26qZ8yt3KQrVahYP4cz4J4Dulov/Y JnxvYgNZnzBnEyBCh0vwYgZlfgy9syfQZLiTFJnjpvQ1pro2+pBIE/PU8T7qfEnj6+ JIQuGyKiVCF2MBl7+gjV6YQY4qK9v5ZWja3p9i2A=
Authentication-Results: tana.it; auth=pass (details omitted)
Received: from [172.25.197.101] (pcale.tana [172.25.197.101]) (AUTH: CRAM-MD5 uXDGrn@SYT0/k, TLS: TLSv1/SSLv3,256bits,AES256-SHA) by wmail.tana.it with ESMTPSA; Fri, 10 May 2013 11:54:04 +0200 id 00000000005DC035.00000000518CC3BC.00007721
Message-ID: <518CC3BC.3090602@tana.it>
Date: Fri, 10 May 2013 11:54:04 +0200
From: Alessandro Vesely <vesely@tana.it>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328 Thunderbird/17.0.5
MIME-Version: 1.0
To: spfbis@ietf.org
References: <20130409062431.GK24624@mx1.yitter.info> <CAL0qLwYkudUHYrGmsHyOLsB76j=Zrn5NCCacVnd1ncG=sQNmyg@mail.gmail.com> <1734898.5zN0vMnxl3@scott-latitude-e6320> <CAL0qLwYZAKR3Y2yCLrjr2wquis23=f4iSS5x3rFGFvxZ2oF6Sw@mail.gmail.com> <518BC146.6060103@tana.it> <CAL0qLwagW0HMqg7cj6o7KLB6XBLv7sfcLvzABfkO11zL5th2FA@mail.gmail.com>
In-Reply-To: <CAL0qLwagW0HMqg7cj6o7KLB6XBLv7sfcLvzABfkO11zL5th2FA@mail.gmail.com>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Subject: Re: [spfbis] WGLC: draft-ietf-spfbis-4408bis-14
X-BeenThere: spfbis@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: SPFbis discussion list <spfbis.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/spfbis>, <mailto:spfbis-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/spfbis>
List-Post: <mailto:spfbis@ietf.org>
List-Help: <mailto:spfbis-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/spfbis>, <mailto:spfbis-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 10 May 2013 09:54:16 -0000

On Thu 09/May/2013 19:55:26 +0200 Murray S. Kucherawy wrote:
> On Thu, May 9, 2013 at 8:31 AM, Alessandro Vesely <vesely@tana.it> wrote:
> 
>>>    macro-letter     =  %x73 / %x6c / ...
>>
>> No, wait.  Do we really want that?
> 
> We do if current implementations generally do only lowercase macro
> support.  If they're case-insensitive, then what's there is fine.  It's my
> impression that %{S} isn't valid to most implementations.  If I'm wrong
> about that, then I withdraw the suggestion.

I agree the case (in)sensitivity can easily get overlooked.  Yet, the
syntax is the same.  Currently, the paragraph that specifies URL
escaping makes no reference to any grammar rule, but we could rewrite
it as:

   MACRO-EXPAND macros with an uppercase MACRO-LETTER expand
   exactly as their lowercased equivalents, and are then URL
   escaped.  URL escaping MUST be performed for characters not
   in the "unreserved" set, which is defined in [RFC3986].

I don't think that would make it any clearer.  Anyway, if we still
wanted to rewrite it that way, we could do so without having to define
MACRO-LETTER and MACRO-EXPAND, since rule names are case insensitive
as well [1].

>> The syntax of URL escaped expansions is the same as that of lowercase
>> macros.  We don't need two parallel sets of production rules, do we?
>>
>> IMHO, adding a comment, e.g. as follows, such suffice.
>>
>>   macro-letter     = "s" / "l" / "o" / "d" / "i" / "p" / "h" /
>>                      "c" / "r" / "t" / "v"
>>                      ; uppercase or lowercase, see URL escaping below
> 
> "uppercase or lowercase" is implicit in ABNF.  That's the point of my
> suggestion.

Yup, the comment turns implicit into explicit.  IOW, the grammar is
correct but readers overlook it.  Hence it's the accompanying text,
not the grammar, that we need to amend.  I think the reason why that
paragraph is overlooked is because it is too far down in the section,
not because it misses grammar references.  The second part of the
comment is an attempt to draw the reader's attention there.

-- 
[1] For example, the <mechanism> rule has uppercase A / MX / PTR / IP4
/ IP6, while those terms' definitions are lowercase in the subsections
of Section 5 where they are introduced  --a change committed on August
16, 2012 (-04), a period we were lowercasing various stuff.