Allow leading zeros when parsing numbers

2023-12-24 11:45:44 +02:00 · 2023-12-24 11:45:44 +02:00 · d1e3b00134
parent d3a236bb92
commit d1e3b00134
1 changed files with 1 additions and 1 deletions
--- a/src/preserves/pegs.nim
+++ b/src/preserves/pegs.nim
@ -34,7 +34,7 @@ grammar "Preserves":

  Boolean <- '#' * {'f', 't'} * &delimiter

-  nat <- '0' | (Digit-'0') * *Digit
+  nat <- +Digit
  int <- ?('-'|'+') * nat
  frac <- '.' * +Digit
  exp <- 'e' * ?('-'|'+') * +Digit