Allow either spaces or tabs as spacing

2021-12-26 19:47:40 +01:00
parent 751dfcd5aa
commit 6a82314e54
1 changed files with 2 additions and 1 deletions
@@ -1,7 +1,7 @@
 operator       = @{ "operator" } // TODO
 operand        = @{ "operand" }  // TODO

-instruction    = { operator ~ (" "+ ~ operand)? }
+instruction    = { operator ~ (spacing+ ~ operand)? }

 loopBlockStart = { "[" ~ newline }
 loopBlockEnd   = { "]" }
@@ -15,5 +15,6 @@ statement      = _{ instruction | loopBlock }
 statements     = _{ statement* }

 newline        = _{ "\n" | "\r\n" }
+spacing        = _{ " "  | "\t" }

 file = {SOI ~ (statement ~ newline+)* ~ EOI}