Skip to content
Snippets Groups Projects
Commit 2cc26fd7 authored by Ben Gamari's avatar Ben Gamari
Browse files

Revert "simplCore: Correctly extend in-scope set in rule matching"

This reverts commit 8bbdba45.
parent d6e8c0f9
No related branches found
No related tags found
No related merge requests found
......@@ -955,7 +955,7 @@ match renv subst e1 (Let bind e2) mco
| otherwise
= Nothing
where
(flt_subst', bind') = substBind (rv_fltR renv `extendInScopeList` rs_bndrs subst) bind
(flt_subst', bind') = substBind (rv_fltR renv) bind
new_bndrs = bindersOf bind'
------------------------ Lambdas ---------------------
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment