X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;h=f8164934761f700ab7feae032f34fda6c77bf6f5;hb=b00b5bc04ff36a551552470060064f0b7d84ca30;hp=7c05b6d8c480a3bec6cd105fd619f7d3ccbb9003;hpb=5574c3af65daebbb931794d84330900a3bc9aa71;p=ghc-hetmet.git diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index 7c05b6d..f816493 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -115,22 +115,26 @@ import Name ( NamedThing(..), tidyNameOcc ) import Class ( Class, classTyCon ) import PrelNames( openTypeKindTyConKey, unliftedTypeKindTyConKey, ubxTupleKindTyConKey, argTypeKindTyConKey ) -import TyCon ( TyCon, isRecursiveTyCon, isPrimTyCon, +import TyCon ( TyCon, isPrimTyCon, isUnboxedTupleTyCon, isUnLiftedTyCon, isFunTyCon, isNewTyCon, isClosedNewTyCon, newTyConRep, newTyConRhs, - isAlgTyCon, tyConArity, isSuperKindTyCon, + isAlgTyCon, isSuperKindTyCon, tcExpandTyCon_maybe, coreExpandTyCon_maybe, - tyConKind, PrimRep(..), tyConPrimRep, tyConUnique, - isCoercionTyCon + tyConKind, PrimRep(..), tyConPrimRep, tyConUnique ) -- others import StaticFlags ( opt_DictsStrict ) -import Util ( mapAccumL, seqList, lengthIs, snocView, thenCmp, isEqual, all2 ) +import Util ( mapAccumL, seqList, snocView, thenCmp, isEqual, all2 ) import Outputable import UniqSet ( sizeUniqSet ) -- Should come via VarSet import Maybe ( isJust ) + +#ifdef DEBUG +import TyCon ( isRecursiveTyCon, tyConArity, isCoercionTyCon ) +import Util ( lengthIs ) +#endif \end{code}