No need for `collect_bindings_as_an_env`

argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

https://docs.argument.xyz

MIT License

46 stars 3 forks source link

No need for `collect_bindings_as_an_env` #338

Closed gabriel-barrett closed 1 month ago

gabriel-barrett commented 1 month ago

There's no need to convert the bindings to an efficient form because we always extend the same environment, so the extension is only done once (the rest is memoized)