From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Tue, 23 Jun 2009 12:36:28 +0000 (+0200)
Subject: Remove a double line introduced a few commits back.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=19f15851bc63f5cec9ab5c013797771e4d73e371;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Remove a double line introduced a few commits back.

This line created some kind of infinite loop.
---

diff --git a/Normalize.hs b/Normalize.hs
index cceefc0..208a8fa 100644
--- a/Normalize.hs
+++ b/Normalize.hs
@@ -43,7 +43,6 @@ import Pretty
 -- η abstraction
 --------------------------------
 eta, etatop :: Transform
-eta expr | is_fun expr && not (is_lam expr) = do
 eta expr | is_fun expr && not (is_lam expr) = do
   let arg_ty = (fst . Type.splitFunTy . CoreUtils.exprType) expr
   id <- mkInternalVar "param" arg_ty