Ivory.Compile.C.CmdlineFrontend

Documentation

compile :: [Module] -> [Located Artifact] -> IO ()

compileWith :: [Module] -> [Located Artifact] -> IO ()

runCompiler :: [Module] -> [Located Artifact] -> Opts -> IO ()

runCompilerWith :: [Module] -> [Located Artifact] -> Opts -> IO ()

Main compile function.

data Opts

Constructors

Opts

Fields

• outDir :: Maybe FilePath

  output directory for all files (or standard out).

• outHdrDir :: Maybe FilePath

  if set, output directory for headers. Otherwise, use outDir.

• outArtDir :: Maybe FilePath

  if set, output directory for artifacts. Otherwise, use outDir.

• otherHdr :: Maybe String

  In special circumstances, an implementation may not fully implement libc (e.g., if `math.h` does not include isnan). In these cases, another header can be added to every Ivory-generated source using the flag.

• constFold :: Bool
• overflow :: Bool
• divZero :: Bool
• ixCheck :: Bool
• fpCheck :: Bool
• outProcSyms :: Bool
• bitShiftCheck :: Bool
• cfg :: Bool
• cfgDotDir :: FilePath
• cfgProc :: [String]
• verbose :: Bool
• srcLocs :: Bool
• tcWarnings :: Bool
• tcErrors :: Bool
• scErrors :: Bool
• help :: Bool

Instances

Show Opts

Methods

showsPrec :: Int -> Opts -> ShowS

show :: Opts -> String

showList :: [Opts] -> ShowS

parseOpts :: [String] -> IO Opts

Parse an Opts structure from a list of strings.

printUsage :: [String] -> IO ()

initialOpts :: Opts

compileUnits :: [Module] -> Opts -> IO [CompileUnits]

Compile, type-check, and optimize modules, but don't generate C files.

outputCompiler :: [CompileUnits] -> [Located Artifact] -> Opts -> IO ()