Generic function definitions #522
Assignees
Labels
enhancement
New feature or request
Comments
github-merge-queue bot
pushed a commit
that referenced
this issue
Nov 14, 2024
Allow function definitions that are generic over parameters of kind `type` or `nat`. * Store currently available type parameters in the type checking context * Refactor type parsing logic to explicitly opt in to add free variables to the parameter mapping * Add a new `GenericParamValue` AST node to represent usages of generic nat params `n` inside function bodies. We need a way to encode this in Hugr. For now, we just emit a dummy node. See CQCL/hugr#1629 Note: Nested generic functions are not supported yet, so we don't have to worry about scoping of type params. Closes #522
github-merge-queue bot
pushed a commit
that referenced
this issue
Nov 15, 2024
🤖 I have created a release *beep* *boop* --- ## [0.13.1](v0.13.0...v0.13.1) (2024-11-15) ### Features * Generic function definitions ([#618](#618)) ([7519b90](7519b90)), closes [#522](#522) * mem_swap function for swapping two inout values ([#653](#653)) ([89e10a5](89e10a5)) ### Bug Fixes * Fix generic array functions ([#630](#630)) ([f4e5655](f4e5655)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
No description provided.
The text was updated successfully, but these errors were encountered: