X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcRnTypes.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcRnTypes.lhs;h=f01df31e5ad07cb0a4dd8f12c116b99fd72303cf;hb=0ee11df0098509d06cf6fc03d1a18429985b6081;hp=ed1fb868996ceda1dfc625bb6ecce1532924ed36;hpb=fdba7999ba01b4e2b4ee704e6784192e4d92b8cf;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcRnTypes.lhs b/ghc/compiler/typecheck/TcRnTypes.lhs
index ed1fb86..f01df31 100644
--- a/ghc/compiler/typecheck/TcRnTypes.lhs
+++ b/ghc/compiler/typecheck/TcRnTypes.lhs
@@ -389,7 +389,7 @@ data TcTyThing
 
   | ATcId   TcId ThLevel ProcLevel 	-- Ids defined in this module; may not be fully zonked
 
-  | ATyVar  TyVar TcType		-- Type variables; tv -> type.  It can't just be a TyVar
+  | ATyVar  Name TcType			-- Type variables; tv -> type.  It can't just be a TyVar
 					-- that is mutated to point to the type it is bound to,
 					-- because that would make it a wobbly type, and we
 					-- want pattern-bound lexically-scoped type variables to