Skip to content

Commit 5d82f60

Browse files
authored
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.
1 parent ab92232 commit 5d82f60

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

draft-marchan-kdl2.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -970,10 +970,11 @@ type := '(' node-space* string node-space* ')'
970970
// Strings
971971
string := identifier-string | quoted-string | raw-string ¶
972972

973-
identifier-string := unambiguous-ident | signed-ident | dotted-ident
973+
identifier-string :=
974+
(unambiguous-ident | signed-ident | dotted-ident)
975+
- disallowed-keyword-identifiers
974976
unambiguous-ident :=
975-
((identifier-char - digit - sign - '.') identifier-char*)
976-
- disallowed-keyword-identifiers
977+
(identifier-char - digit - sign - '.') identifier-char*
977978
signed-ident :=
978979
sign ((identifier-char - digit - '.') identifier-char*)?
979980
dotted-ident :=

0 commit comments

Comments
 (0)