fix pattern bindings preferring the old environment
This commit is contained in:
parent
dcb52ad6eb
commit
98305cd6d0
|
@ -186,7 +186,7 @@ apply (FnV pats) arg =
|
||||||
Just env' -> -- satisfies
|
Just env' -> -- satisfies
|
||||||
do
|
do
|
||||||
(s,env) <- get
|
(s,env) <- get
|
||||||
put (s, M.union env env')
|
put (s, M.union env' env)
|
||||||
foldr1 (>>) $ map eval body
|
foldr1 (>>) $ map eval body
|
||||||
Nothing -> -- doesn't satisfy this pattern
|
Nothing -> -- doesn't satisfy this pattern
|
||||||
apply' xs
|
apply' xs
|
||||||
|
|
Loading…
Reference in New Issue