From 02461380b48c4a973a61d890da4cd584f70a923b Mon Sep 17 00:00:00 2001 From: Christopher Durham Date: Tue, 12 Oct 2021 20:57:31 -0500 Subject: [PATCH] Define `digit` in formal grammar `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 96cad16..4ed46cf 100644 --- a/SPEC.md +++ b/SPEC.md @@ -446,9 +446,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 | '_')*