aboutsummaryrefslogtreecommitdiff
path: root/src/Haskell
diff options
context:
space:
mode:
Diffstat (limited to 'src/Haskell')
-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