X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcType.hi-boot;h=fece21459b462eaa349b8b9c3d68929ab39fc275;hb=a06f5e7b2158b57e40ebf255eb9d0b74e9625762;hp=49e5cd6f6424091f5f978f63e9ea3ba7b5c6047a;hpb=3a3a71aa1e4a09822988070228ff8a8e77e9a1ab;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcType.hi-boot b/ghc/compiler/typecheck/TcType.hi-boot
index 49e5cd6..fece214 100644
--- a/ghc/compiler/typecheck/TcType.hi-boot
+++ b/ghc/compiler/typecheck/TcType.hi-boot
@@ -1,6 +1,5 @@
 _interface_ TcType 1
 _exports_
-TcType TcMaybe TcTyVarSet;
+TcType TyVarDetails;
 _declarations_
-1 data TcMaybe a;
-1 type TcTyVarSet a = TyVar.GenTyVarSet (ArrBase.MutableVar a (TcMaybe a));
+1 data TyVarDetails;