From 8976e2da68f0196ed1d34707cc8267ac5cf29169 Mon Sep 17 00:00:00 2001 From: Christopher Durham Date: Sat, 19 Feb 2022 04:06:17 -0600 Subject: [PATCH] Define `digit` in formal grammar (#236) `digit` is used as a subtraction in bare-identifier, but never defined. --- SPEC.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/SPEC.md b/SPEC.md index 859eb51..8a6e4d7 100644 --- a/SPEC.md +++ b/SPEC.md @@ -452,9 +452,10 @@ raw-string-quotes := '"' .* '"' number := decimal | hex | octal | binary -decimal := integer ('.' [0-9] [0-9_]*)? exponent? -exponent := ('e' | 'E') integer -integer := sign? [0-9] [0-9_]* +decimal := sign? integer ('.' integer)? exponent? +exponent := ('e' | 'E') sign? integer +integer := digit (digit | '_')* +digit := [0-9] sign := '+' | '-' hex := sign? '0x' hex-digit (hex-digit | '_')*