Mark Koch

Results 41 comments of Mark Koch

Nested function definitions don't have a frame in the `DEF_STORE`

But I assume we still want them in Guppy?

User hint for maximum number of qubits allocated

Instead of a new decorator, we could also consider a kwarg for the `@guppy` decorator similar to how we did `@guppy(unitary=True)`?

`nat @ comptime` argument not recognised in nested function signature

Thanks for reporting! Currently, nested functions can't refer to parameters from the outside, but I agree this would be nice addition. Created issue #1050 to track this. For now, you...

Allow loading function pointers via comptime expressions

The main obstacle here is that we can't put them in `Const` nodes since they could call functions from the outside. But this is a problem for lists of functions:...

Unify checking and compiling worklists

We should wait with this until #1018 is done

Snapshot error when parallelizing tests

Looks to be Python 3.13 specific: https://github.com/pytest-dev/pytest/blob/f3da9187d0b7c2b0a1131ba4002cc55fda34bd5c/testing/code/test_excinfo.py#L379-L381

feat: Add unsafe array take and put operations

> How about making put and take the panicking versions and make the fallible versions try_take and try_put ? Actually, that sounds like a good option 👍

BorrowSquash pass to reorder and remove redundant borrows on borrow_arrays

> IIUC the semantics of borrow/release mean (@mark-koch please confirm) that there should be no elements borrowed during any other array op (e.g. pop, swap with external element, passing the...

Allow nested functions to refer to type parameters of the outer function

I'm not suggesting any change to Hugr, this should be a pure frontend feature

Caret offset in compile error message

The problem seems to be the tab indentation