search

Zokrates / ZoKrates

A toolbox for zkSNARKs on Ethereum
https://zokrates.github.io
GNU Lesser General Public License v3.0
1.81k stars 361 forks source link

Fix whitespace definition in pest #1232

Closed dark64 closed 1 year ago

dark64 commented 1 year ago

Our syntax is currently strict on how and where newlines are allowed eg.

def main(...) { // <-- `{` must be in the same line
    ...
}

This PR changes WHITESPACE definition in the grammar so that newlines are allowed everywhere except in atomic definitions. This makes the syntax not so strict on newlines.