[get rid of calls to isMetaTV
John Meacham <john@repetae.net>**20060228133346] hunk ./FrontEnd/Tc/Type.hs 48
-isMetaTV :: Tyvar -> Bool
-isMetaTV Tyvar { tyvarRef = Just _ } = True
-isMetaTV _ = False
-
hunk ./FrontEnd/Tc/Type.hs 93
-extractTyVar (TVar t) | not $ isMetaTV t = return t
hunk ./FrontEnd/Tc/Type.hs 207
-                when (any isMetaTV vs) $ error "metatv in forall binding"
hunk ./FrontEnd/Tc/Type.hs 210
-                when (any isMetaTV vs) $ error "metatv in forall binding"
hunk ./FrontEnd/Tc/Type.hs 288
-            when (any isMetaTV vs) $ error "metatv in forall binding"
hunk ./FrontEnd/Tc/Type.hs 292
-            when (any isMetaTV vs) $ error "metatv in forall binding"
hunk ./FrontEnd/Tc/Type.hs 311
-    getType = kind
+    getType (Tycon _ k) = k
hunk ./FrontEnd/Tc/Type.hs 314
-    getType = kind
+    getType = tyvarKind