import HsTypes ( mkHsForAllTy )
import HsCore
import Literal
-import BasicTypes ( IfaceFlavour(..), Fixity(..), FixityDirection(..), NewOrData(..), Version(..) )
+import BasicTypes ( IfaceFlavour(..), Fixity(..), FixityDirection(..), NewOrData(..), Version )
import HsPragmas ( noDataPragmas, noClassPragmas )
import Kind ( Kind, mkArrowKind, mkBoxedTypeKind, mkTypeKind )
import IdInfo ( ArgUsageInfo, FBTypeInfo, ArityInfo, exactArity )
)
import RnEnv ( addImplicitOccsRn, availNames )
import Name ( Name, PrintUnqualified, Provenance, isLocallyDefined,
- NameSet(..),
- nameSetToList, minusNameSet, NamedThing(..),
- nameModule, pprModule, pprOccName, nameOccName
+ NameSet,
+ nameSetToList, minusNameSet,
+ NamedThing(..),
+ nameModule, pprModule, pprOccName, nameOccName
)
import TysWiredIn ( unitTyCon, intTyCon, doubleTyCon )
import TyCon ( TyCon )
import Digraph ( stronglyConnComp, SCC(..) )
import Name ( OccName(..), Provenance,
Name, isExportedName,
- NameSet(..), emptyNameSet, mkNameSet, unionNameSets,
+ NameSet, emptyNameSet, mkNameSet, unionNameSets,
minusNameSet, unionManyNameSets, elemNameSet, unitNameSet, nameSetToList
)
import BasicTypes ( RecFlag(..), TopLevelFlag(..) )
)
import Name ( Name {-instance NamedThing-}, Provenance, OccName(..),
nameModule, moduleString, pprModule, isLocallyDefined,
- NameSet(..), emptyNameSet, unionNameSets, nameSetToList,
+ NameSet, emptyNameSet, unionNameSets, nameSetToList,
minusNameSet, mkNameSet, elemNameSet, nameUnique, addOneToNameSet,
isWiredInName, maybeWiredInTyConName, maybeWiredInIdName,
NamedThing(..)
)
-import Id ( GenId, Id(..), idType, dataConTyCon, isAlgCon )
+import Id ( GenId, Id, idType, dataConTyCon, isAlgCon )
import TyCon ( TyCon, tyConDataCons, isSynTyCon, getSynTyConDefn )
import Type ( namesOfType )
import TyVar ( GenTyVar )
FixityDecl(..),
collectTopBinders
)
-import RdrHsSyn ( RdrNameHsDecl(..), RdrName(..), RdrNameIE(..), RdrNameImportDecl,
+import RdrHsSyn ( RdrNameHsDecl, RdrName(..), RdrNameIE, RdrNameImportDecl,
RdrNameHsModule, RdrNameFixityDecl,
rdrNameOcc, ieOcc
)
import LambdaLift ( liftProgram )
import Name ( isLocallyDefined )
-import UniqSet ( UniqSet(..), mapUniqSet )
+import UniqSet ( UniqSet, mapUniqSet )
import CostCentre ( CostCentre )
import SCCfinal ( stgMassageForProfiling )
import StgLint ( lintStgBindings )
)
import HsPragmas ( ClassPragmas(..) )
import BasicTypes ( NewOrData(..), TopLevelFlag(..), RecFlag(..) )
-import RnHsSyn ( RenamedClassDecl(..), RenamedClassPragmas(..),
- RenamedClassOpSig(..), RenamedMonoBinds,
- RenamedContext(..), RenamedHsDecl, RenamedSig
+import RnHsSyn ( RenamedClassDecl, RenamedClassPragmas,
+ RenamedClassOpSig, RenamedMonoBinds,
+ RenamedContext, RenamedHsDecl, RenamedSig
)
import TcHsSyn ( TcMonoBinds )
#include "HsVersions.h"
import HsSyn ( HsDecl(..), DefaultDecl(..) )
-import RnHsSyn ( RenamedHsDecl(..) )
+import RnHsSyn ( RenamedHsDecl )
import TcMonad
import TcEnv ( tcLookupClassByKey )
import RnBinds ( rnMethodBinds, rnTopMonoBinds )
import RnEnv ( newDfunName, bindLocatedLocalsRn )
-import RnMonad ( RnM, RnDown, SDown, RnNameSupply(..),
+import RnMonad ( RnM, RnDown, SDown, RnNameSupply,
renameSourceCode, thenRn, mapRn, returnRn )
import Bag ( Bag, emptyBag, unionBags, listToBag )
)
import TcKind ( TcKind, kindToTcKind )
-import RnHsSyn ( RenamedHsDecl(..) )
+import RnHsSyn ( RenamedHsDecl )
import HsCore
import HsDecls ( HsIdInfo(..), HsStrictnessInfo(..) )
import Literal ( Literal(..) )
#include "HsVersions.h"
-import RnHsSyn ( RenamedMonoBinds, RenamedSig(..) )
+import RnHsSyn ( RenamedMonoBinds, RenamedSig )
import CmdLineOpts ( opt_AllowOverlappingInstances )
import TcMonad
import TcType ( TcType, tcInstType )
import TcKind ( TcKind, kindToTcKind )
-import RnMonad ( RnNameSupply(..) )
+import RnMonad ( RnNameSupply )
import Bag ( isEmptyBag )
import ErrUtils ( WarnMsg, ErrMsg,
pprBagOfErrors, dumpIfSet
#include "HsVersions.h"
import HsSyn ( HsType(..), HsTyVar(..), pprContext )
-import RnHsSyn ( RenamedHsType(..), RenamedContext(..) )
+import RnHsSyn ( RenamedHsType, RenamedContext )
import TcMonad
import TcEnv ( tcLookupTyVar, tcLookupClass, tcLookupTyCon, tcExtendTyVarEnv )
newDictFromOld,
instLoc, getDictClassTys,
pprInst, zonkInst,
- Inst(..), LIE, pprInsts, pprInstsInFull, mkLIE,
+ Inst, LIE, pprInsts, pprInstsInFull, mkLIE,
InstOrigin, pprOrigin
)
import TcEnv ( TcIdOcc(..) )
Sig(..),
hsDeclName
)
-import RnHsSyn ( RenamedTyDecl(..), RenamedClassDecl(..), RenamedHsDecl )
+import RnHsSyn ( RenamedTyDecl, RenamedClassDecl, RenamedHsDecl )
import TcHsSyn ( TcHsBinds )
import BasicTypes ( RecFlag(..) )
andMonoBinds
)
import HsTypes ( getTyVarName )
-import RnHsSyn ( RenamedTyDecl(..), RenamedConDecl(..) )
+import RnHsSyn ( RenamedTyDecl, RenamedConDecl )
import TcHsSyn ( mkHsTyLam, mkHsDictLam, tcIdType,
TcHsBinds, TcMonoBinds
)
import Type ( GenType(..), Type, tyVarsOfType,
typeKind, mkFunTy, splitFunTy_maybe, splitTyConApp_maybe )
import TyCon ( TyCon, mkFunTyCon, isTupleTyCon, tyConArity, Arity )
-import TyVar ( TyVar(..), GenTyVar(..), tyVarKind, tyVarFlexi,
+import TyVar ( TyVar, GenTyVar(..), tyVarKind, tyVarFlexi,
TyVarEnv, lookupTyVarEnv, emptyTyVarEnv, addToTyVarEnv,
tyVarSetToList
)