guppylang icon indicating copy to clipboard operation
guppylang copied to clipboard

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

Open mark-koch opened this issue 7 months ago • 2 comments

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

mark-koch avatar Jun 16 '25 17:06 mark-koch

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

acl-cqc avatar Jun 24 '25 10:06 acl-cqc

But I assume we still want them in Guppy?

mark-koch avatar Jun 24 '25 10:06 mark-koch