uhc-light-1.1.9.0: Part of UHC packaged as cabal/hackage installable library

Safe HaskellNone
LanguageHaskell98

UHC.Light.Compiler.EHC.Main.Utils

Synopsis

Documentation

type FileSuffMp = [(FileSuffix, FileSuffInitState, Bool)] Source

emptyFileSuffMp :: FileSuffMp Source

mkFileSuffMpHs :: EHCOpts -> FileSuffMp Source

Allowed suffixes, order is significant.

fileSuffMpHsNoSuff :: FileSuffMp Source

data ImmediateQuitOption Source

Constructors

ImmediateQuitOption_Help 
ImmediateQuitOption_Version 
ImmediateQuitOption_Meta_Variant 
ImmediateQuitOption_Meta_Targets 
ImmediateQuitOption_Meta_TargetDefault 
ImmediateQuitOption_Meta_Optimizations 
ImmediateQuitOption_Meta_Pkgdir_System 
ImmediateQuitOption_Meta_Pkgdir_User 
ImmediateQuitOption_VersionDotted 
ImmediateQuitOption_VersionAsNumber 

data EHCOpts Source

The options to use.

Constructors

EHCOpts 

Fields

ehcOptTrace :: forall a. String -> a -> a
 
ehcOptAspects :: String
 
ehcOptShowHS :: Bool
 
ehcOptShowEH :: Bool
 
ehcOptPriv :: Bool
 
ehcOptHsChecksInEH :: Bool
 
ehcOptShowTopTyPP :: Bool
 
ehcOptImmQuit :: Maybe ImmediateQuitOption
 
ehcOptDebug :: Bool
 
ehcStopAtPoint :: CompilePoint
 
ehcOptPolyKinds :: Bool
 
ehcOptExtensibleRecords :: Bool
 
ehcOptMbTarget :: MaybeOk Target
 
ehcOptMbTargetFlavor :: MaybeOk TargetFlavor
 
ehcOptBangPatterns :: Bool
 
ehcOptOptimizationLevel :: OptimizationLevel
 
ehcOptOptimizationScope :: OptimizationScope
 
ehcOptOptimizations :: OptimizeS
 
ehcOptOptimizeOptionMp :: OptimizeOptionMp
 
ehcOptDumpCoreStages :: Bool
 
ehcOptCoreOpts :: [CoreOpt]
 
ehcOptGenTrampoline_ :: Bool
 
ehcOptGenTrace :: Bool
 
ehcOptEmitHS :: Bool
 
ehcOptEmitEH :: Bool
 
ehcOptImportFileLocPath :: FileLocPath
 
ehcOptVerbosity :: Verbosity
 
ehcOptBuiltinNames :: EHBuiltinNames
 
ehcOptEnvironment :: EHCEnvironment
 
ehcCfgInstFldHaveSelf :: Bool
 
ehcOptPrfCutOffAt :: Int
 
ehcCfgClassViaRec :: Bool
 
ehcOptTyBetaRedCutOffAt :: Int
 
ehcDebugStopAtCoreError :: Bool
 
ehcOptCheckRecompile :: Bool
 
ehcDebugStopAtHIError :: Bool
 
ehcOptLinkingStyle :: LinkingStyle
 
ehcOptGenGenerics :: Bool
 
ehcOptFusion :: Bool
 
ehcOptAltDriver :: Bool
 
ehcOptHiValidityCheck :: Bool
 
ehcOptLibFileLocPath :: FileLocPath
 
ehcOptPkgdirLocPath :: StringPath
 
ehcOptPkgDb :: PackageDatabase
 
ehcProgName :: FPath
 
ehcCurDir :: String
 
ehcOptUserDir :: String
 
ehcOptMbOutputFile :: Maybe FPath
 
ehcOptCPP :: Bool
 
ehcOptUseAssumePrelude :: Bool
 
ehcOptPackageSearchFilter :: [PackageSearchFilter]
 
ehcOptOutputDir :: Maybe String
 
ehcOptKeepIntermediateFiles :: Bool
 
ehcOptPkgOpt :: Maybe PkgOption
 
ehcOptCfgInstallRoot :: Maybe String
 
ehcOptCfgInstallVariant :: Maybe String
 
ehcOptCmdLineOpts :: CmdLineOpts
 
ehcOptCmdLineOptsDoneViaPragma :: Bool
 
ehcOptOverloadedStrings :: Bool
 
ehcOptPgmExecMp :: Map PgmExec FilePath
 
ehcOptExecOptsMp :: Map FilePath [ExecOpt]
 

Instances

emptyEHCOpts :: EHCOpts Source

ehcOptFromJust :: EHCOpts -> String -> a -> Maybe a -> a Source

Either fromJust with a possible panic, or with a default value (when debugging)

data InOrOutputFor Source

Constructors

OutputFor_Module 
OutputFor_Pkg 
InputFrom_Loc FileLoc 

data CoreOpt Source

Core options

Constructors

CoreOpt_NONE 
CoreOpt_Dump 
CoreOpt_DumpBinary 
CoreOpt_DumpAlsoNonParseable 
CoreOpt_Run 
CoreOpt_RunDump 
CoreOpt_RunDumpVerbose 
CoreOpt_RunTrace 
CoreOpt_RunTraceExtensive 
CoreOpt_RunPPNames 
CoreOpt_RunPPVerbose 

Instances

ehcOptTarget :: EHCOpts -> Target Source

ehcOptTargetFlavor :: EHCOpts -> TargetFlavor Source

ehcOptCoreSysF :: EHCOpts -> Bool Source

Generate system F (20120421 AD: very much under construction)

ehcOptCoreSysFCheck :: EHCOpts -> Bool Source

Typecheck system F (20120421 AD: very much under construction)

ehcOptCoreSysFGen :: EHCOpts -> Bool Source

Typecheck system F (20120421 AD: very much under construction)

ehcOptCoreSysFCheckOnlyVal :: EHCOpts -> Bool Source

Typecheck system F (20120421 AD: very much under construction)

ehcOptEmitExecBytecode :: EHCOpts -> Bool Source

ehcOptEmitBytecode :: EHCOpts -> Bool Source

ehcOptCmmCheck :: EHCOpts -> Bool Source

Check Cmm

ehcOptIsViaGrinCmmJavaScript :: EHCOpts -> Bool Source

Via Core -> Grin -> CMM -> JS ?

ehcOptIsViaCoreJavaScript :: EHCOpts -> Bool Source

Via Core -> JS ?

ehcOptIsViaCmm :: EHCOpts -> Bool Source

ehcOptIsViaGrin :: EHCOpts -> Bool Source

ehcOptBuiltin :: EHCOpts -> (EHBuiltinNames -> x) -> x Source

ehcOptBuiltin2 :: EHCOpts -> (EHBuiltinNames -> Int -> HsName) -> Int -> HsName Source

ehcOptDoExecLinking :: EHCOpts -> Bool Source

Do linking into executable?

data PkgOption Source

Build pkg options, all (except obligatory name) wrapped in Maybe/[] because of possible absence. 20140829 AD: will be used to construct config file

Constructors

PkgOption 

Fields

pkgoptName :: PkgName

build a package with name

pkgoptExposedModules :: [String]

20140829 AD not yet used: exposed modules

pkgoptBuildDepends :: [PkgName]

20140829 AD not yet used: depends on pkgs

emptyPkgOption :: PkgOption Source

data PgmExec Source

Pgm (internal program used) options, in particular alternate internal shell commands

Constructors

PgmExec_CPP 
PgmExec_C 
PgmExec_Linker 

Instances

data ExecOpt Source

Wrapper around options, adding semantics for adapting cmd specific behavior

Constructors

ExecOpt_Plain String

plain option

ExecOpt_Output (String -> String)

output file

execOptsPlain :: [ExecOpt] -> [String] Source

optOptsIsYes :: Eq opt => Maybe [opt] -> opt -> Bool Source

showStr2stMp :: Map String opt -> String Source

defaultEHCOpts :: EHCOpts Source

The default EHC options.

ehcCmdLineOpts :: GetOptCmdLineOpts Source

Commandline opts for ehc/uhc (EHC)

ehcrunCmdLineOpts :: GetOptCmdLineOpts Source

Commandline opts for ehcr/uhcr (EHCRun)

type GetOptCmdLineOpts = [OptDescr (EHCOpts -> EHCOpts)] Source

The description for GetOpt

ehcCmdLineOptsApply :: [EHCOpts -> EHCOpts] -> [String] -> EHCOpts -> (Maybe EHCOpts, [String], [String]) Source

Apply the cmdline opts description for EHC to a EHCOpts, returning Nothing when there were no options

ehcrunCmdLineOptsApply :: [String] -> EHCOpts -> (Maybe EHCOpts, [String], [String]) Source

Apply the cmdline opts description for EHCRun to a EHCOpts, returning Nothing when there were no options

data FIOpts Source

Constructors

FIOpts 

Fields

fioLeaveRInst :: !Bool
 
fioBindRFirst :: !Bool
 
fioBindLFirst :: !Bool
 
fioBindLBeforeR :: !Bool
 
fioMode :: !FIMode
 
fioUniq :: !UID
 
fioBindCategs :: ![TyVarCateg]
 
fioNoRLabElimFor :: ![HsName]
 
fioNoLLabElimFor :: ![HsName]
 
fioDontBind :: !TyVarIdS
 
fioExpandEqTyVar :: !Bool
 
fioPredAsTy :: !Bool
 
fioAllowRPredElim :: !Bool
 
fioBindLVars :: !FIOBind
 
fioBindRVars :: !FIOBind
 
fiMbMkErrClash :: Maybe (Ty -> Ty -> Err)
 

Instances

strongFIOpts :: FIOpts Source

instLFIOpts :: FIOpts Source

instLRFIOpts :: FIOpts Source

unifyFIOpts :: FIOpts Source

instFIOpts :: FIOpts Source

fioSwapPolarity :: Polarity -> FIOpts -> FIOpts Source

fioSwapOpts :: FIOpts -> FIOpts Source

fioMkStrong :: FIOpts -> FIOpts Source

fioMkWeak :: FIOpts -> FIOpts Source

fioMkUnify :: FIOpts -> FIOpts Source

fioIsSubsume :: FIOpts -> Bool Source

weakFIOpts :: FIOpts Source

data Optimize Source

individual optimizations, unit of turning off/on. (Assumption) Names of alternatives must start with Optimize_

Constructors

Optimize_GrinLocal 
Optimize_StrictnessAnalysis 

Instances

data OptimizationLevel Source

Constructors

OptimizationLevel_Off 
OptimizationLevel_Normal 
OptimizationLevel_Much 
OptimizationLevel_Full 

Instances

mkDirFileLoc :: String -> FileLoc Source

type StringPath = [String] Source

type FileLocPath = [FileLoc] Source

data FileLocKind Source

Constructors

FileLocKind_Dir 
FileLocKind_Pkg PkgKey String 
FileLocKind_PkgDb 

Instances

data FileLoc Source

Constructors

FileLoc 

Fields

filelocKind :: FileLocKind
 
filelocDir :: String
 

Instances

emptyFileLoc :: FileLoc Source

fileLocPkgDb :: FileLoc Source

mkPkgFileLoc :: PkgKey -> String -> FileLoc Source

filelocIsPkg :: FileLoc -> Bool Source

type FileSearchLoc = FileLoc Source

type PkgKey = (PkgKey1, PkgKey2) Source

type PkgKey1 = PkgName Source

type PkgKey2 = Maybe Version Source

showPkgKey :: PkgKey -> String Source

data PackageSearchFilter Source

Description of hiding/exposing pkgs, determining the used packages for looking up modules.

Constructors

PackageSearchFilter_HideAll 
PackageSearchFilter_HidePkg [PkgKey] 
PackageSearchFilter_ExposePkg [PkgKey] 

Instances

pkgSearchFilter :: (x -> Maybe PkgKey) -> ([PkgKey] -> PackageSearchFilter) -> [x] -> [PackageSearchFilter] Source

type PackageCfgKeyVals = Map String String Source

data PackageInfo Source

Per package info

Constructors

PackageInfo 

Fields

pkginfoLoc :: !FileLoc

directory location

pkginfoOrder :: !Int

for multiple packages the relative order , pkginfoKeyVals :: PackageCfgKeyVals -- key/value pairs of pkg config info

pkginfoExposedModules :: !HsNameS

exposed modules

pkginfoBuildDepends :: !(Set PkgKey)

pkgs dependend on

pkginfoIsExposed :: !Bool

pkg is exposed?

Instances

type PackageMp = Map PkgKey1 (Map PkgKey2 [PackageInfo]) Source

content of a package (keys are name, then version)

type Module2PackageMp = Map HsName [PkgKey] Source

reverse map from module name to package key

data PackageDatabase Source

A package database contains an actual package map, plus a function that maps modules to associated package maps. The latter is computed by "freezing" the package database using "pkgDbFreeze".

Constructors

PackageDatabase 

Fields

pkgDbPkgMp :: PackageMp
 
pkgDbMod2PkgMp :: Module2PackageMp
 

Instances

emptyPackageMp :: PackageMp Source

emptyPackageDatabase :: PackageDatabase Source

mkInternalPkgFileBase :: PkgKey -> String -> Target -> TargetFlavor -> FilePath Source

ehcOptWholeProgHPTAnalysis :: EHCOpts -> Bool Source

ehcOptOptimizes :: Optimize -> EHCOpts -> Bool Source

optimizes a particular option

fioMkFinal :: FIOpts -> FIOpts Source

Adapt options for extracting final ty

data FIOBind Source

Constructors

FIOBindYes 
FIOBindNoBut TyVarIdS 

Instances

fioBindIsYes :: FIOBind -> Bool Source

fioBindNoSet :: FIOBind -> TyVarIdS Source

predFIOpts :: FIOpts Source

implFIOpts :: FIOpts Source

ehcOptWholeProgOptimizationScope :: EHCOpts -> Bool Source

ehcOptEarlyModMerge :: EHCOpts -> Bool Source

optsDiscrRecompileRepr :: EHCOpts -> String Source

ehcOptUpdateWithPragmas :: Set Pragma -> EHCOpts -> (EHCOpts, Bool) Source

possibly adapt with pragmas

handleImmQuitOption :: GetOptCmdLineOpts -> [String] -> ImmediateQuitOption -> EHCOpts -> IO () Source

Handle a commandline option directly