Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a global scope. #29

Open
mariari opened this issue Jun 17, 2022 · 0 comments
Open

Add a global scope. #29

mariari opened this issue Jun 17, 2022 · 0 comments
Labels
enhancement New feature or request

Comments

@mariari
Copy link
Member

mariari commented Jun 17, 2022

If a user writes some code like

(deflex custom-transfer
    (transfer :from-address #xFFFFFFFFF
              :to-address   #x111111111
              :amount       250))

at the top level, then they will just recieve a reference to a let binding that does not exist.

It would be good if when these functions are run without a proper circuit body to catch them that they are added to a global scope that can be compiled to VAMP-IR.

We can run dead code elimination if this costs performance.

@mariari mariari added the enhancement New feature or request label Jun 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant