X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FGenerics.lhs;h=5494999b57ae7a3f52285d12361f4db3c6574826;hp=4f37831353cff4d3ebbf4c5745ff5d4bcbfb8066;hb=ab22f4e6456820c1b5169d75f5975a94e61f54ce;hpb=6b4592943b799175dec4549882bbf06fa87a0739 diff --git a/compiler/types/Generics.lhs b/compiler/types/Generics.lhs index 4f37831..5494999 100644 --- a/compiler/types/Generics.lhs +++ b/compiler/types/Generics.lhs @@ -1,3 +1,7 @@ +% +% (c) The University of Glasgow 2006 +% + \begin{code} module Generics ( canDoGenerics, mkTyConGenericBinds, mkGenericRhs, @@ -6,30 +10,24 @@ module Generics ( canDoGenerics, mkTyConGenericBinds, import HsSyn -import Type ( Type, isUnLiftedType, tyVarsOfType, - isTyVarTy, getTyVar_maybe, funTyCon - ) -import TcHsSyn ( mkSimpleHsAlt ) -import TcType ( tcSplitTyConApp_maybe, tcSplitSigmaTy, tcSplitPhiTy, applyTy, - isTauTy, mkTyVarTy ) -import DataCon ( DataCon, dataConOrigArgTys, isVanillaDataCon, - dataConSourceArity ) - -import TyCon ( TyCon, tyConName, tyConDataCons, - isBoxedTupleTyCon - ) -import Name ( nameModule, nameOccName, getSrcLoc ) -import OccName ( mkGenOcc1, mkGenOcc2 ) -import RdrName ( RdrName, getRdrName, mkVarUnqual, mkOrig ) -import BasicTypes ( EP(..), Boxity(..) ) -import Var ( TyVar ) -import VarSet ( varSetElems ) -import Id ( Id, idType ) -import TysWiredIn ( listTyCon ) +import Type +import TcHsSyn +import TcType +import DataCon + +import TyCon +import Name +import OccName +import RdrName +import BasicTypes +import Var +import VarSet +import Id +import TysWiredIn import PrelNames -import SrcLoc ( srcLocSpan, noLoc, Located(..) ) -import Util ( takeList, isSingleton ) +import SrcLoc +import Util import Bag import Outputable import FastString