module Futhark.Compiler.Config
( FutharkConfig (..),
newFutharkConfig,
Verbosity (..),
)
where
import Futhark.IR
import Futhark.Pipeline
data FutharkConfig = FutharkConfig
{ FutharkConfig -> (Verbosity, Maybe FilePath)
futharkVerbose :: (Verbosity, Maybe FilePath),
FutharkConfig -> Bool
futharkWarn :: Bool,
FutharkConfig -> Bool
futharkWerror :: Bool,
FutharkConfig -> Bool
futharkSafe :: Bool,
FutharkConfig -> [Name]
futharkEntryPoints :: [Name],
FutharkConfig -> Bool
futharkTypeCheck :: Bool
}
newFutharkConfig :: FutharkConfig
newFutharkConfig :: FutharkConfig
newFutharkConfig =
FutharkConfig :: (Verbosity, Maybe FilePath)
-> Bool -> Bool -> Bool -> [Name] -> Bool -> FutharkConfig
FutharkConfig
{ futharkVerbose :: (Verbosity, Maybe FilePath)
futharkVerbose = (Verbosity
NotVerbose, Maybe FilePath
forall a. Maybe a
Nothing),
futharkWarn :: Bool
futharkWarn = Bool
True,
futharkWerror :: Bool
futharkWerror = Bool
False,
futharkSafe :: Bool
futharkSafe = Bool
False,
futharkEntryPoints :: [Name]
futharkEntryPoints = [],
futharkTypeCheck :: Bool
futharkTypeCheck = Bool
True
}