Futhark.Compiler

Documentation

runPipelineOnProgram :: FutharkConfig -> Pipeline SOACS tolore -> FilePath -> FutharkM (Prog tolore)

Read a program from the given FilePath, run the given Pipeline, and return it.

runCompilerOnProgram :: FutharkConfig -> Pipeline SOACS lore -> Action lore -> FilePath -> IO ()

Read a program from the given FilePath, run the given Pipeline, and finish up with the given Action.

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.

newFutharkConfig :: FutharkConfig

The default compiler configuration.

dumpError :: FutharkConfig -> CompilerError -> IO ()

Print a compiler error to stdout. The FutharkConfig controls to which degree auxiliary information (e.g. the failing program) is also printed.

module Futhark.Compiler.Program

readProgram :: (MonadError CompilerError m, MonadIO m) => FilePath -> m (Warnings, Imports, VNameSource)

Read and type-check a Futhark program, including all imports.

readLibrary :: (MonadError CompilerError m, MonadIO m) => [FilePath] -> m (Warnings, Imports, VNameSource)

Read and type-check a collection of Futhark files, including all imports.

readProgramOrDie :: MonadIO m => FilePath -> m (Warnings, Imports, VNameSource)

Not verbose, and terminates process on error.