How to fix up signature of load_constant introduced by InsertConstIgnore
#81
cqc-alec
started this conversation in
Specification
Replies: 3 comments
-
|
May be resolved by #74 . |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
Yes, and/or #80, I think this will be fine. |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
I think following #80 we can close this? |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
https://github.com/CQCL-DEV/hugr/blob/b6c21d9671eb07d1ef2cde2d577bcebf3ade735c/specification/hugr.md?plain=1#L1199
@acl-cqc
16 May 2023
Note this leaves us in an invalid state IIUC - load_constant has a signature saying it has one value output of type T
@cqc-alec
16 May 2023
Oops, that won’t do. Should we add a discard following it, or a new
ignore_consttype?Another option is to allow any number >=0 of outputs from
load_constant.Beta Was this translation helpful? Give feedback.
All reactions