aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2020-05-23 11:38:01 +0200
committerTom Smeding <tom.smeding@gmail.com>2020-05-23 11:38:01 +0200
commitc3a2389203e743c874bb464c9343a2f0aab3ae62 (patch)
tree3ff9d4225b0bfab332b84c5cceedf520f583ea06 /src
parent3f180e74d54ab447d3ef16ed5439e0abe8d1da97 (diff)
Rewrite full lambda body in betared, don't skip binders
Diffstat (limited to 'src')
-rw-r--r--src/Haskell/Rewrite.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Haskell/Rewrite.hs b/src/Haskell/Rewrite.hs
index bcec6f7..301bdb4 100644
--- a/src/Haskell/Rewrite.hs
+++ b/src/Haskell/Rewrite.hs
@@ -33,7 +33,7 @@ boundVars (PatTup ps) = nub $ concatMap boundVars ps
betared :: Expr -> Expr
betared (App (Lam (n:as) bd) (arg:args)) =
- App (Lam as (rewrite n arg bd)) args
+ App (rewrite n arg (Lam as bd)) args
betared e = recurse id betared e
etared :: Expr -> Expr