X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FsimplCore%2FSetLevels.lhs;h=5dbaec65f0223ac5845124ffada0b6335bff5a6d;hb=604afcb5b9c06bee56d3a89f5d0bcdb793bbfb10;hp=225dea5bb4053add796a9716fafdd34461df8175;hpb=bb394e57361d9910b05f1145cbc894d33759d2a6;p=ghc-hetmet.git

diff --git a/compiler/simplCore/SetLevels.lhs b/compiler/simplCore/SetLevels.lhs
index 225dea5..5dbaec6 100644
--- a/compiler/simplCore/SetLevels.lhs
+++ b/compiler/simplCore/SetLevels.lhs
@@ -771,8 +771,7 @@ absVarsOf dest_lvl (_, lvl_env, _, id_env) v
 			Just (abs_vars, _) -> abs_vars
 			Nothing	           -> [v]
 
-    add_tyvars v | isId v    = v : varSetElems (idFreeTyVars v)
-		 | otherwise = [v]
+    add_tyvars v = v : varSetElems (varTypeTyVars v)
 
 	-- We are going to lambda-abstract, so nuke any IdInfo,
 	-- and add the tyvars of the Id (if necessary)