X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FsimplCore%2FSimplUtils.lhs;h=1c08d6bf2843843af8fe1deedd658d561c5becae;hb=0a5613f40b0e32cf59966e6b56b807cdbe80aa7b;hp=4a8ad544a9767c17872f9a28d6f3e4d1d0c9c182;hpb=b8ee6f14ca6e9e49015ee9b404cf8b8191fede05;p=ghc-hetmet.git

diff --git a/compiler/simplCore/SimplUtils.lhs b/compiler/simplCore/SimplUtils.lhs
index 4a8ad54..1c08d6b 100644
--- a/compiler/simplCore/SimplUtils.lhs
+++ b/compiler/simplCore/SimplUtils.lhs
@@ -1008,8 +1008,9 @@ mkLam env bndrs body
 
       | dopt Opt_DoLambdaEtaExpansion dflags,
         not (inGentleMode env),	      -- In gentle mode don't eta-expansion
-   	any isRuntimeVar bndrs	      -- because it can clutter up the code
+	    		  	      -- because it can clutter up the code
 	    		 	      -- with casts etc that may not be removed
+   	not (all isTyVar bndrs) -- Don't eta expand type abstractions
       = do { let body' = tryEtaExpansion dflags body
  	   ; return (mkLams bndrs body') }