You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is an in-progress transplant of guppy from using an ad-hoc `Hugr`
definition into the builder from the `hugr` library.
The main mismatch between the old and new builders is that guppy used to
lazily add typed ports to the graph nodes as it needed. Since the new
builder requires operations to define their signature, we end up having
to edit the code everywhere from `guppylang.compiler` to the
`guppylang.prelude` definitions.
My first goal is to get this working, and then I will try and split some
changes from this PR (although most of it will have to be merged
monolithically).
Current test status:
- 390 $\color{green}\text{passed}$
- 14 $\color{yellow}\text{skipped}$
- 0 $\color{red}\text{failed}$
These issues currently breake some tests. I'll fix them before merging
the PR
- CQCL/hugr#1319
~~Required to store the module names in the hugr metadata~~
- CQCL/hugr#1424
~~Required for pytket and llvm integration~~
- ~~Release hugr and tket2 with the latest changes~~
Closes#257. Closes#85
BREAKING CHANGE: Removed `guppylang.hugr_builder.hugr.Hugr`, compiling a
module returns a `hugr.Hugr` instead.
---------
Co-authored-by: Mark Koch <[email protected]>
Currently,
serialize
removes dummy nodes and adds state edges before doing the serialisation.guppylang/guppylang/hugr_builder/hugr.py
Line 783 in 89edc2d
This is unexpected behaviour. It should probably copy the Hugr before doing any mutation.
The text was updated successfully, but these errors were encountered: