goal.delete exceeds max recursion depth #104

New Issue

aniva · 2024-10-03T15:49:01-07:00

aniva commented

2024-10-03 15:49:01 -07:00

This is a problem from downstream PyPantograph's miniF2F experiment. Running server.gc() on the server state after one proof finishes leads to exceeding max rec depth. The error is

"max recursion depth has been reached"

This is a problem from downstream [PyPantograph](https://github.com/lenianiva/PyPantograph/pull/15)'s `miniF2F` experiment. Running `server.gc()` on the server state after one proof finishes leads to exceeding max rec depth. The error is "max recursion depth has been reached"

aniva added the

labels 2024-10-03 15:49:01 -07:00

aniva self-assigned this 2024-10-03 15:49:01 -07:00

aniva commented

2024-10-21 11:22:57 -07:00

Can we replicate this problem?

Sign in to join this conversation.