Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.Compiler.Config

Synopsis

data FutharkConfig = FutharkConfig {
- futharkVerbose :: (Verbosity, Maybe FilePath)
- futharkWarn :: Bool
- futharkWerror :: Bool
- futharkSafe :: Bool
- futharkEntryPoints :: [Name]
- futharkTypeCheck :: Bool
}
newFutharkConfig :: FutharkConfig
data Verbosity
- = NotVerbose
- | Verbose
- | VeryVerbose

Documentation

data FutharkConfig Source #

The compiler configuration. This only contains options related to core compiler functionality, such as reading the initial program and running passes. Options related to code generation are handled elsewhere.

Constructors

FutharkConfig
Fields futharkVerbose :: (Verbosity, Maybe FilePath) futharkWarn :: Bool Warn if True. futharkWerror :: Bool If true, error on any warnings. futharkSafe :: Bool If True, ignore `unsafe`. futharkEntryPoints :: [Name] Additional functions that should be exposed as entry points. futharkTypeCheck :: Bool If false, disable type-checking

newFutharkConfig :: FutharkConfig Source #

The default compiler configuration.

data Verbosity Source #

How much information to print to stderr while the compiler is running.

Constructors

NotVerbose	Silence is golden.
Verbose	Print messages about which pass is running.
VeryVerbose	Also print logs from individual passes.

Instances

Instances details

Eq Verbosity Source #
Instance details Defined in Futhark.Pipeline Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Ord Verbosity Source #
Instance details Defined in Futhark.Pipeline Methods compare :: Verbosity -> Verbosity -> Ordering # (<) :: Verbosity -> Verbosity -> Bool # (<=) :: Verbosity -> Verbosity -> Bool # (>) :: Verbosity -> Verbosity -> Bool # (>=) :: Verbosity -> Verbosity -> Bool # max :: Verbosity -> Verbosity -> Verbosity # min :: Verbosity -> Verbosity -> Verbosity #