IETF Logo Mail Archive

Re: [Json] Are the Core Rules (Appendix B.1 of RFC 5234) always present in an ABNF spec?

Julian Reschke <julian.reschke@gmx.de> Wed, 20 September 2023 15:38 UTC

Return-Path: <julian.reschke@gmx.de>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 0E9D7C17EB5D for <json@ietfa.amsl.com>; Wed, 20 Sep 2023 08:38:43 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.104
X-Spam-Level:
X-Spam-Status: No, score=-7.104 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmx.de
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id cPiAKpGGXhsn for <json@ietfa.amsl.com>; Wed, 20 Sep 2023 08:38:39 -0700 (PDT)
Received: from mout.gmx.net (mout.gmx.net [212.227.17.22]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id C0E3BC151549 for <json@ietf.org>; Wed, 20 Sep 2023 08:38:38 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.de; s=s31663417; t=1695224317; x=1695829117; i=julian.reschke@gmx.de; bh=a74CpULSYRmdgkv7VfRdFDI7MXin77iEf84Whe98Ls8=; h=X-UI-Sender-Class:Date:Subject:To:References:From:In-Reply-To; b=X5BjOqIN5WAxoD/BP5KEPM2s1iAOZCrVMu6v6ZeYaBHIWXt7BLufZQNWss1AIjFCOkccliMeXIi PXTJMnbNQ9Rd8xNuw+zkPi1mHdO7DG1sYawoCNid/1dBLGkPXcfxu3Xyko8pp51f8DswBbnUh2htB hYVTfdNLw40MBj6gRQz67wG/S1Zv/L2p3Ns+cvNKdZqiHPRMEhchc06Xd2WCCSJWj1iHKjEWMcRco cYgt/qA8ap8KQYvmzyVBYj6VKjIsvyfEqGMGLghaxV7MfjWMyMPcBBFYvI8/k7r49OLfkRX3/9yuL 61WsqOdt69pnFx7K2a5/cdJEd072BLxtQ8Vw==
X-UI-Sender-Class: 724b4f7f-cbec-4199-ad4e-598c01a50d3a
Received: from [10.8.9.139] ([212.205.32.162]) by mail.gmx.net (mrgmx104 [212.227.17.168]) with ESMTPSA (Nemesis) id 1MY6Cb-1rCVXt23Uz-00YTKX for <json@ietf.org>; Wed, 20 Sep 2023 17:38:36 +0200
Message-ID: <7899d5d1-ca0e-41b6-af43-10ac2039b5ed@gmx.de>
Date: Wed, 20 Sep 2023 17:38:34 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
To: json@ietf.org
References: <A9C3993F-D73B-4529-A94B-A6A33589726E@tzi.org>
From: Julian Reschke <julian.reschke@gmx.de>
In-Reply-To: <A9C3993F-D73B-4529-A94B-A6A33589726E@tzi.org>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: quoted-printable
X-Provags-ID: V03:K1:eyWg42AkLw8SBgrCl8qRcjNAzaxzDUFqpJW+bJBmc8EGHNF8/Ju GzHhPEBFadx4M7b4L+6+1iyqYwOkpulFQaGBSFgNytMGjiF5bURa4wXh+rT9JFIfs7jz7GC aAfUqj4lwYIP164PsnQJgOXcVIzwTAb+eLBQzCvrr6cUX3NmFDi1b8mhCkQDqkzJpk9o0TH ftnG52IxvhhfHGQuANbgA==
UI-OutboundReport: notjunk:1;M01:P0:13qQUIAl5k8=;AYoWZNBnw9+lRkxrPIHmii8D0me Yd6WcQ+vlbKJyPMgtf78XdJLqsPoyu7X/6xHhRnCZfjTc7BPpk+BizZvPKbasZmJp0rDz/le4 LdhLBOa2OflytV27o5rEhTW1mo5ZzpsnP9/D06Bq/O+hFXbdy/rIZG64V+Lm1OU+i+RJC6TXP j0ZVckNgGDy8hu+bf/66GyS5VXNyBmELnJ2O/SlzfE9Hchpzgn2gComoPCpUjr8TqXGYiNi8W oVDOXt28GDIBKkl/eg0bdm9twolcoYsXsG22ymXSWWWiKqGi1G/J9GQpCzZ0quilsoJ8I1xlS 3+SW607dC6dFhCaOuhH28rk/xYs4wrU4eqevOu61b/Z39Cjgaq67SuiuQgX56+Gb3/bfvu29K 6HFQX6/mieZvL+jM7JZhxLcR3jMPttv0clffzdguqqBwztVFmVk0SBOmLypZ8lrCEnuo/uiw2 p1IUbGqYqKk7op0Bkl/KXvJx3zFEg6IPLjzXzpXdSTp7wuo/zpCjw8bN+EwqWm8cAUtN7rtE1 6XuFlSFDN5JVnHOob6hnMgnaM1hNL6C/HqW29AN0WWGzNb1PP9Gv98AJE4DL+uAi6gBL6nQFC +IXOiMUHWsqT8ezmbyZA4f/wy+8457Y2aIDLGQANnLBEMc5S6EPnpnW+9inNd6PAMMd93vl4X +e/6e0cMCUPAZryLeMwrY9w9b9mOcaLLescMMuvCRarNSpFeiP8niFU9UDJz9SzFaAI8TC37v q/zmCMtGGGL1lPn6uLUr+uUCNUACekanXVglc7p9vW1O7MOYIjQNO/JWl6tEfolqxa3FP1Rv3 rY1M+QNxzKUx5I99JdreXQvQTsn4Ua/NOTa+J+jE90gwraSqNsgbO4qxjUqmZmX9QmkcXN8/1 7qXQWNoapF+ENY/2bItstZCb2S+LIOmPpQ2O4NLOgSHhgPx7lv/x6G/1n16hDsGItwIPRpDAf 9PN3R8ruLiKKD96RAEw3Fe8IY5U=
Archived-At: <https://mailarchive.ietf.org/arch/msg/json/qQtYZV8lkTp_eRGq18S2YR3yxYo>
Subject: Re: [Json] Are the Core Rules (Appendix B.1 of RFC 5234) always present in an ABNF spec?
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "JavaScript Object Notation \(JSON\) WG mailing list" <json.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/json>, <mailto:json-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/json/>
List-Post: <mailto:json@ietf.org>
List-Help: <mailto:json-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/json>, <mailto:json-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 20 Sep 2023 15:38:43 -0000

Am 20.09.2023 um 17:20 schrieb Carsten Bormann:
> Please see:
>
> Archived-At: <https://mailarchive.ietf.org/arch/msg/json/BDjQVBx5wD7cXerCT-KoWj1o9CU>
> Archived-At: <https://mailarchive.ietf.org/arch/msg/json/9PVg5mgaHseQ2e6X_jey3XeH1-4>
>
> The problem here is that RFC 8259 seems to (implicitly) import “DIGIT" and “HEXDIG" from RFC 5234 Appendix B.1, but also defines a rule “char”, which conflicts with “CHAR” in Appendix B.1 (rule names are case-insensitive per Section 2.1 of RFC 5234).
>
> Is this a bug in 8259?

I think it is (and I'm angry at myself that I didn't notice that back then).

> And, if yes, is that bug that “char” and “CHAR” conflict (i.e., because B.1 is always implicitly imported), or that 8259 forgets to import DIGIT and HEXDIG (i.e., because B.1 is not implicitly imported)?

The latter.

> I know there are tons of ABNF out there that doesn’t get this right, so I’m also interested in a way forward that allows us to de-soupify ABNF (RFC 9431), while also offering a clear interpretation of what is already there.

In the HTTP specs, we always note what rules are imported, see, for
instance, <https://greenbytes.de/tech/webdav/rfc9110.html#notation>.

Best regards, Julian

v2.23.0 | Report a Bug | By Email