Semantic analyser: Machine block can only contain variable (wg, signal) declarations and state declarations - Githubissues

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits

https://docs.pecadorplonkish.xyz/

161 stars 36 forks source link

Semantic analyser: Machine block can only contain variable (wg, signal) declarations and state declarations #220

Closed leolara closed 3 months ago

leolara commented 4 months ago

Give an error for other types of statements