[project @ 2005-07-19 16:44:50 by simonpj]
[ghc-hetmet.git] / ghc / compiler / main / GHC.hs
index 811f1cb..d8c2975 100644 (file)
@@ -89,7 +89,7 @@ module GHC (
        -- ** Identifiers
        Id, idType,
        isImplicitId, isDeadBinder,
-       isSpecPragmaId, isExportedId, isLocalId, isGlobalId,
+       isExportedId, isLocalId, isGlobalId,
        isRecordSelector,
        isPrimOpId, isFCallId, isClassOpId_maybe,
        isDataConWorkId, idDataCon,
@@ -98,10 +98,14 @@ module GHC (
 
        -- ** Type constructors
        TyCon, 
-       tyConTyVars, tyConDataCons,
-       isClassTyCon, isSynTyCon, isNewTyCon,
+       tyConTyVars, tyConDataCons, tyConArity,
+       isClassTyCon, isSynTyCon, isNewTyCon, isPrimTyCon,
        getSynTyConDefn,
 
+       -- ** Type variables
+       TyVar,
+       alphaTyVars,
+
        -- ** Data constructors
        DataCon,
        dataConSig, dataConType, dataConTyCon, dataConFieldLabels,
@@ -172,7 +176,7 @@ import VarEnv               ( emptyTidyEnv )
 import GHC.Exts                ( unsafeCoerce# )
 #endif
 
-import Packages                ( PackageIdH(..), initPackages )
+import Packages                ( initPackages )
 import NameSet         ( NameSet, nameSetToList, elemNameSet )
 import RdrName         ( GlobalRdrEnv, GlobalRdrElt(..), RdrName, 
                          globalRdrEnvElts )
@@ -181,12 +185,15 @@ import Type               ( Kind, Type, dropForAlls, PredType, ThetaType,
                          pprThetaArrow, pprParendType, splitForAllTys,
                          funResultTy )
 import Id              ( Id, idType, isImplicitId, isDeadBinder,
-                          isSpecPragmaId, isExportedId, isLocalId, isGlobalId,
+                          isExportedId, isLocalId, isGlobalId,
                           isRecordSelector, recordSelectorFieldLabel,
                           isPrimOpId, isFCallId, isClassOpId_maybe,
                           isDataConWorkId, idDataCon,
                           isBottomingId )
+import Var             ( TyVar )
+import TysPrim         ( alphaTyVars )
 import TyCon           ( TyCon, isClassTyCon, isSynTyCon, isNewTyCon,
+                         isPrimTyCon, tyConArity,
                          tyConTyVars, tyConDataCons, getSynTyConDefn )
 import Class           ( Class, classSCTheta, classTvsFds, classMethods )
 import FunDeps         ( pprFundeps )
@@ -228,7 +235,6 @@ import FastString   ( mkFastString )
 import Directory        ( getModificationTime, doesFileExist )
 import Maybe           ( isJust, isNothing, fromJust )
 import Maybes          ( orElse, expectJust, mapCatMaybes )
-import qualified Maybes (MaybeErr(..))
 import List            ( partition, nub )
 import qualified List
 import Monad           ( unless, when )