From 5d82f6040781a0981b378ae19f9b3ff9871b2984 Mon Sep 17 00:00:00 2001 From: "Tab Atkins Jr." Date: Wed, 4 Jun 2025 13:45:30 -0700 Subject: [PATCH] Disallow -inf from being a signed-ident Just moving the `- disallowed-keyword-identifiers` up to the parent production so it catches all the ident productions, to make any similar mistakes impossible. --- draft-marchan-kdl2.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/draft-marchan-kdl2.md b/draft-marchan-kdl2.md index 74af16f..f3a5f9f 100644 --- a/draft-marchan-kdl2.md +++ b/draft-marchan-kdl2.md @@ -970,10 +970,11 @@ type := '(' node-space* string node-space* ')' // Strings string := identifier-string | quoted-string | raw-string ΒΆ -identifier-string := unambiguous-ident | signed-ident | dotted-ident +identifier-string := + (unambiguous-ident | signed-ident | dotted-ident) + - disallowed-keyword-identifiers unambiguous-ident := - ((identifier-char - digit - sign - '.') identifier-char*) - - disallowed-keyword-identifiers + (identifier-char - digit - sign - '.') identifier-char* signed-ident := sign ((identifier-char - digit - '.') identifier-char*)? dotted-ident :=