Commit 2023-11-02 03:46 8befe9df

View on Github →

fix: add withMainContext to rw_search, and add a test case (#8101) Fixes a bug where rw_search could fail with the error: "unknown free variable". Also adds a missing whnfR to localHypotheses, which fixes bad behavior that could be seen in rw? and rw_search.

Estimated changes