Seyon Sivarajah comments

Results 48 comments of


                                            Seyon Sivarajah

Add syntax for global variables

does this do the job? (it works now I believe) ```python rot = 1.0 @guppy main() -> float: return py(rot) ```

Add syntax for global variables

yes 👍 for compilation target, does this do the job: https://github.com/CQCL/hugr/issues/233

Parse enum definitions

Could we have anonymous variants, ```python Variant3 = (int, float) ``` ?

Add operator for making controlled versions of a gate

Or a whole unitary subroutine?

Use True/False constants for cfg branching if known at compile time

> This Tag(0, MakeTuple()) is also needed if there is only a single successor. Do we also want to use a constant in that case? Yes > If the True/False...

Add gates to the beginning of a circuit

and before/after existing gates?

Translate TKET1 boxes

Specifically circuit boxes (nested circuits)

`Circuit::num_gates` not consistent with TKET `n_gates`

I would suggest avoiding "gate" as an additional concept, and instead something like `num_q_ops`

refactor: port HUGR codegen to use HUGR python builder

> Bring in the value/cfg port and node variants (with better names) to hugr-py Can they just stay in Guppy and contain a hugr port? Not including them in hugr-py...

Create example program: QEC + decoder

Blocked by #571