search

apl-cornell / viaduct

An extensible compiler for cryptography.
https://viaduct-lang.org
MIT License
20 stars 4 forks source link

lexical scoping using blocks #4

Closed rolph-recto closed 4 years ago

rolph-recto commented 5 years ago

Blocks should be treated as new lexical scopes. This should be reflected in the TypeVisitor (unwritten) and in the PDGBuilderVisitor.

cacay commented 4 years ago

This is handled correctly in the Kotlin version.