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.

Sign up for GitHub

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

Jump to bottom

Upgrade to Hugr v0.4 #198

Closed
mark-koch opened this issue Apr 17, 2024 · 0 comments · Fixed by #201
Closed

Upgrade to Hugr v0.4 #198

mark-koch opened this issue Apr 17, 2024 · 0 comments · Fixed by #201
Assignees
@mark-koch

Comments

@mark-koch
Copy link
Collaborator

Blocked by
@mark-koch mark-koch self-assigned this Apr 17, 2024
@aborgna-q aborgna-q changed the title Upgrade to Hugr v0.3 Upgrade to Hugr v0.4 May 1, 2024
@mark-koch mark-koch mentioned this issue May 3, 2024
Merged
mark-koch added a commit that referenced this issue May 16, 2024
@mark-koch
feat: Upgrade Hugr and start using the shared Pydantic model (#201)
bd7e67a 
This PR makes Guppy depend on Hugr at main as a path for upgrading to
v0.4. Closes #198

Most of the edits are related to changes in the Pydantic model. However,
we also had to get rid of `TypeApply` since this no longer exists in
Hugr. Therefore, Guppy now rejects all programs that use polymorphic
functions as values if the type arguments cannot be inferred
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mark-koch mark-koch

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: Upgrade Hugr and start using the shared Pydantic model CQCL/guppylang
1 participant
@mark-koch