X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FbasicTypes%2FDataCon.lhs;h=5da66d9b6a9776550c25ac944580c33b65cbe0ec;hp=2fc802413f76fc259b49e37be3a811bcc43ff837;hb=ef47b5c2f44fce638b623c9cf5bb2f7f62ba619d;hpb=e380d180947b309f6d548ddb8a3f8144c08aaff4

diff --git a/compiler/basicTypes/DataCon.lhs b/compiler/basicTypes/DataCon.lhs
index 2fc8024..5da66d9 100644
--- a/compiler/basicTypes/DataCon.lhs
+++ b/compiler/basicTypes/DataCon.lhs
@@ -33,15 +33,16 @@ import Type		( Type, ThetaType,
 			  substTyWith, substTyVar, mkTopTvSubst, 
 			  mkForAllTys, mkFunTys, mkTyConApp, mkTyVarTy, mkTyVarTys, 
 			  splitTyConApp_maybe, newTyConInstRhs,
-			  mkPredTys, isStrictPred, pprType
+			  mkPredTys, isStrictPred, pprType, mkPredTy
 			)
 import Coercion		( isEqPred, mkEqPred )
 import TyCon		( TyCon, FieldLabel, tyConDataCons, 
 			  isProductTyCon, isTupleTyCon, isUnboxedTupleTyCon,
                           isNewTyCon, isRecursiveTyCon )
 import Class		( Class, classTyCon )
-import Name		( Name, NamedThing(..), nameUnique )
-import Var		( TyVar, Id )
+import Name		( Name, NamedThing(..), nameUnique, mkSysTvName, mkSystemName )
++ import Var		( TyVar, CoVar, Id, mkTyVar, tyVarKind, setVarUnique,
++                           mkCoVar )
 import BasicTypes	( Arity, StrictnessMark(..) )
 import Outputable
 import Unique		( Unique, Uniquable(..) )
@@ -49,6 +50,7 @@ import ListSetOps	( assoc, minusList )
 import Util		( zipEqual, zipWithEqual )
 import List		( partition )
 import Maybes           ( expectJust )
+import FastString
 \end{code}
 
 
@@ -602,6 +604,7 @@ dataConInstArgTys (MkData {dcRepArgTys = arg_tys,
  where
    tyvars = univ_tvs ++ ex_tvs
 
+
 -- And the same deal for the original arg tys
 dataConInstOrigArgTys :: DataCon -> [Type] -> [Type]
 dataConInstOrigArgTys dc@(MkData {dcOrigArgTys = arg_tys,