search

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits
https://docs.pecadorplonkish.xyz/
161 stars 36 forks source link

Semantic analyser: state variables can only be declared in the top level block #223

Closed leolara closed 3 weeks ago

leolara commented 4 months ago

They cannot be declared for example inside an if block.

leolara commented 3 months ago

@rutefig I passed this one to @gmridul

rutefig commented 3 weeks ago

This is already done here: https://github.com/privacy-scaling-explorations/chiquito/blob/2d6236f73b5228c84365a76cf8364bed49f0ac5f/src/compiler/semantic/rules.rs#L84