Futhark.Compiler.Config

Configuration of compiler behaviour that is universal to all backends.

Documentation

data FutharkConfig

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

The default compiler configuration.

data Verbosity

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

Eq Verbosity

Defined in Futhark.Compiler.Config

Methods

(==) :: Verbosity -> Verbosity -> Bool

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

Ord Verbosity

Defined in Futhark.Compiler.Config

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

data CompilerMode

Are we compiling a library or an executable?

Constructors

ToLibrary

ToExecutable

ToServer

Instances

Show CompilerMode

Defined in Futhark.Compiler.Config

Methods

showsPrec :: Int -> CompilerMode -> ShowS

show :: CompilerMode -> String

showList :: [CompilerMode] -> ShowS

Eq CompilerMode

Defined in Futhark.Compiler.Config

Methods

(==) :: CompilerMode -> CompilerMode -> Bool

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

Ord CompilerMode

Defined in Futhark.Compiler.Config

Methods

compare :: CompilerMode -> CompilerMode -> Ordering

(<) :: CompilerMode -> CompilerMode -> Bool

(<=) :: CompilerMode -> CompilerMode -> Bool

(>) :: CompilerMode -> CompilerMode -> Bool

(>=) :: CompilerMode -> CompilerMode -> Bool

max :: CompilerMode -> CompilerMode -> CompilerMode

min :: CompilerMode -> CompilerMode -> CompilerMode