X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FGenerics.lhs;h=5494999b57ae7a3f52285d12361f4db3c6574826;hb=2eb04ca0f8d0ec72b417cddc60672c696b4a3daa;hp=4f37831353cff4d3ebbf4c5745ff5d4bcbfb8066;hpb=4bcaad0c0fc30984282ae40b802f48b2d9dc20bb;p=ghc-hetmet.git 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