search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

allow the use of hard-tabs as whitespace #20

Closed karroffel closed 4 years ago

karroffel commented 4 years ago

Using a tab character inside a ZZ-program's source emits a parse error.

This commit modifies the pest-grammar to allow tab characters as whitespace.

aep commented 4 years ago

thanks!