diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2026-03-09 21:19:21 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2026-03-09 21:19:21 +0100 |
| commit | 3dcffaaa8e810c144751d3be66ff241762ab2c56 (patch) | |
| tree | 6a140a2c69abdf19f6b4993317d216eb05da8f34 | |
| parent | 035a3b56256ca913a810a979c6ffa5fb03f32c0f (diff) | |
| -rw-r--r-- | grammar | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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>)?; |