[project @ 1997-07-05 02:25:45 by sof]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcType.hi-boot
index a540f45..49e5cd6 100644 (file)
@@ -1,6 +1,6 @@
 _interface_ TcType 1
 _exports_
-TcType TcMaybe;
+TcType TcMaybe TcTyVarSet;
 _declarations_
 1 data TcMaybe a;
-
+1 type TcTyVarSet a = TyVar.GenTyVarSet (ArrBase.MutableVar a (TcMaybe a));