guppylang
guppylang copied to clipboard
Nested function definitions don't have a frame in the `DEF_STORE`
I ran into this while working on monomorphisation. I worked around this for now, but the proper solution would be to add a frame to the store
They should probably just inherit the stack frame of the outer function
Note that Hugr will be moving to "no nested FuncDefns" in a future release so it's probably not worth putting much effort in here
But I assume we still want them in Guppy?