Disallow leading zeroes in UNSIGNED_INT (fixes #87)

lszeremeta · Feb 18, 2024 · 1dea9e3 · 1dea9e3
1 parent 5692311
commit 1dea9e3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/other-notations/YARSpg.ebnf b/other-notations/YARSpg.ebnf
@@ -170,7 +170,7 @@ OPTIONAL ::= ( 'O' | 'o' ) ( 'P' | 'p' ) ( 'T' | 't' ) ( 'I' | 'i' ) ( 'O' | 'o'
 COMMENT  ::= '#' [^#xd#xa#xc]*
 STR      ::= '"' ( [^#x22#x5C#xd#xa] | '\' [tbnrf#x22#x27#x5C])* '"' /* #x22=" #x5C=\ #xD=carriage return #xA=new line #x27='; */
 UNSIGNED_INT
-         ::= [0-9]+
+         ::= '0' | [1-9] [0-9]*
 ALNUMPLUS
          ::= [a-zA-Z_] [a-zA-Z0-9_]*
 WS       ::= [ #x9#xa]+
diff --git a/yarspg/YARSpg.g4 b/yarspg/YARSpg.g4
@@ -289,7 +289,7 @@ STR
     ;
 
 UNSIGNED_INT
-    : [0-9]+
+    : '0' | [1-9] [0-9]*
     ;
 
 ALNUMPLUS