DDC.Driver.Config

Documentation

data Config

Configuration for main compiler stages.

Constructors

Config

Fields

• configLogBuild :: Bool

  Print status to console during builds.

• configDump :: Bool

  Dump intermediate code.

• configInferTypes :: Bool

  Use bidirectional type inference on the input code.

• configSimplSalt :: Simplifier Int () Name

  Simplifiers to apply to intermediate code

• configViaBackend :: ViaBackend

  Backend code generator to use

• configRuntime :: Config

  Runtime system configuration

• configRuntimeLinkStrategy :: RuntimeLinkStrategy

  Linking strategy for the runtime.

• configBuilder :: Builder

  The builder to use for the target architecture

• configPretty :: ConfigPretty

  Core langauge pretty printer configuration.

• configSuppressHashImports :: Bool

  Suppress the #import prelude in C modules

• configModuleBaseDirectories :: [FilePath]

  Base directories to look for modules sources during build.

• configOutputFile :: Maybe FilePath

  Override output file

• configOutputDir :: Maybe FilePath

  Override directory for build products

• configKeepLlvmFiles :: Bool

  Keep intermediate .ddc.ll files

• configKeepSeaFiles :: Bool

  Keep intermediate .ddc.c files

• configKeepAsmFiles :: Bool

  Keep intermediate .ddc.s files

• configTaintAvoidTypeChecks :: Bool

  Avoid running the type checker where possible. When debugging program transformations, use this to get the invalid code rather than just the type error message.

data ConfigPretty

Core language pretty printer configuration.

Constructors

ConfigPretty

Fields

• configPrettyUseLetCase :: Bool
• configPrettyVarTypes :: Bool
• configPrettyConTypes :: Bool
• configPrettySuppressImports :: Bool
• configPrettySuppressExports :: Bool
• configPrettySuppressLetTypes :: Bool

defaultConfigPretty :: ConfigPretty

Default pretty printer configuration.

prettyModeOfConfig :: ConfigPretty -> PrettyMode (Module a n)

Convert a the pretty configuration into the mode to use to print a module. We keep the ConfigPretty type separate from PrettyMode because the former can be non-recursive with other types, and does not need to be parameterised by the annotation or name types.

objectPathsOfConfig

Arguments

:: Config

Compiler config.

-> FilePath

Path to module source.

-> (FilePath, [FilePath])

Given the name of a source file, determine the where the object files should go.

The first component of the result is where we should put produced object files, The second are paths of where we might find pre-existing objects, in preference order.

exePathOfConfig

Arguments

:: Config

Compiler config.

-> FilePath

Path to module source.

-> FilePath

Given the name of a source file, determine where we should put an executable built from it.

data ViaBackend

Constructors

ViaC

Compile via the C backend.

ViaLLVM

Compile via the LLVM backend.

Instances

Show ViaBackend

Methods

showsPrec :: Int -> ViaBackend -> ShowS

show :: ViaBackend -> String

showList :: [ViaBackend] -> ShowS

data RuntimeLinkStrategy

Constructors

LinkDefault

Use the platform's default strategy.

LinkStatic

Link the runtime statically.

Instances

Eq RuntimeLinkStrategy

Methods

(==) :: RuntimeLinkStrategy -> RuntimeLinkStrategy -> Bool

(/=) :: RuntimeLinkStrategy -> RuntimeLinkStrategy -> Bool

Show RuntimeLinkStrategy

Methods

showsPrec :: Int -> RuntimeLinkStrategy -> ShowS

show :: RuntimeLinkStrategy -> String

showList :: [RuntimeLinkStrategy] -> ShowS