]> git.kianting.info Git - clo/commitdiff
Update index.ts
authorTan, Kian-ting <yoxem@kianting.info>
Tue, 5 Sep 2023 16:10:26 +0000 (00:10 +0800)
committerGitHub <noreply@github.com>
Tue, 5 Sep 2023 16:10:26 +0000 (00:10 +0800)
src/index.ts

index e22fdbbdd6550fe81c5779546472dd388927d95a..7ab5f5f48638b2ae6e3e3669d52ae552593c04ff 100644 (file)
@@ -231,7 +231,7 @@ export function tokenize(input : string){
         {matched:"",
         remained: input});
 
-    // integer = ([+]|[-])\d\d?
+    // integer = ([+]|[-])?\d\d*
     let integer = (x : MatcheePair) => 
     { let wrapped_x = toSome(x);
         let plusMinus = orDo(match1Char('+'), match1Char('-')); // ([+]|[-])
@@ -250,4 +250,4 @@ tokenize("+123");
 tokenize("123");
 tokenize("-123");
 tokenize(" 123");
-tokenize("c123");
\ No newline at end of file
+tokenize("c123");