summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2026-03-09 21:19:21 +0100
committerThomas Voss <mail@thomasvoss.com> 2026-03-09 21:19:21 +0100
commit3dcffaaa8e810c144751d3be66ff241762ab2c56 (patch)
tree6a140a2c69abdf19f6b4993317d216eb05da8f34
parent035a3b56256ca913a810a979c6ffa5fb03f32c0f (diff)
Fix grammar for numbersHEADmaster
-rw-r--r--grammar4
1 files changed, 3 insertions, 1 deletions
diff --git a/grammar b/grammar
index 8e528ce..0bb9406 100644
--- a/grammar
+++ b/grammar
@@ -99,5 +99,7 @@ number-dec: "#d"? number-rest<[0123456789]>;
number-hex: "#x" number-rest<[0123456789ABCDEF]>;
(* <a> is the alphabet *)
-number-rest<a>: number-word<a>? ("." number-word<a>?)? ("e" [-+] number-word<a>)?;
+number-rest<a>: (number-word<a> ("." number-word<a>?)?
+ | "." number-word<a>)
+ ("e" [-+] number-word<a>)?;
number-word<a>: <a> ((<a> | "'")* <a>)?;