Implement imports w/o linking #425
Assignees
Milestone
Comments
This was referenced Aug 29, 2024
github-merge-queue bot
pushed a commit
that referenced
this issue
Sep 2, 2024
Closes #425 and closes #427 and closes #134 * Allow importing of function definitions (before we could only import declarations) * Until we have Hugr linking, we just lower everything into the same Hugr. This requires some changes to the compilation logic: - Differentiate between checking (`module.check()`) and full Hugr compilation (`module.compile()`) of modules - Importing modules only checks them - Hugr lowering is done at the end in one step over all imported modules * Allow to import individual definitions instead of whole modules * Allow aliased imports using kwargs (see test examples)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Just lower everything into the same Hugr until we have implemented proper Hugr linking
The text was updated successfully, but these errors were encountered: