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
.