Case nodes have unconnected ports #750
Labels
bug
Something isn't working
Comments
github-merge-queue bot
pushed a commit
that referenced
this issue
Dec 20, 2023
Previously it was incorrectly reporting the internal signature as the node signature. Fixes #750 Required further fixes to `replace.rs`: * test was looking for an error that should have been hidden behind another (that was not previously reported because of #750). Look for the latter, not the former. * Fix node indices not being correctly reported from `apply` --------- Co-authored-by: Alan Lawrence <[email protected]>
ss2165
added a commit
that referenced
this issue
Dec 21, 2023
Previously it was incorrectly reporting the internal signature as the node signature. Fixes #750 Required further fixes to `replace.rs`: * test was looking for an error that should have been hidden behind another (that was not previously reported because of #750). Look for the latter, not the former. * Fix node indices not being correctly reported from `apply` --------- Co-authored-by: Alan Lawrence <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
as identified by @mark-koch
The serialized hugr in this file:
graph (1).hugr.zip
fails validation when deserialized because case nodes are reporting that they have unconnected ports (they shouldn't have any)
The text was updated successfully, but these errors were encountered: