Futhark.Compiler.Program

Low-level compilation parts. Look at Futhark.Compiler for a more high-level API.

Documentation

readLibrary

Arguments

:: (MonadError CompilerError m, MonadIO m)

=> [Name]

Extra functions that should be marked as entry points; only applies to the immediate files, not any imports imported.

-> [FilePath]

The files to read.

-> m (Warnings, Imports, VNameSource)

Read and type-check some Futhark files.

readUntypedLibrary :: (MonadIO m, MonadError CompilerError m) => [FilePath] -> m [(ImportName, UncheckedProg)]

Read (and parse) all source files (including the builtin prelude) corresponding to a set of root files.

type Imports = [(String, FileModule)]

A mapping from import names to imports. The ordering is significant.

data FileModule

The result of type checking some file. Can be passed to further invocations of the type checker.

Constructors

FileModule

Fields

• fileAbs :: TySet

  Abstract types.

• fileEnv :: Env
• fileProg :: Prog

data Warnings

The warnings produced by the compiler. The Show instance produces a human-readable description.

Instances

Semigroup Warnings

Defined in Language.Futhark.Warnings

Methods

(<>) :: Warnings -> Warnings -> Warnings

sconcat :: NonEmpty Warnings -> Warnings

stimes :: Integral b => b -> Warnings -> Warnings

Monoid Warnings

Defined in Language.Futhark.Warnings

Methods

mempty :: Warnings

mappend :: Warnings -> Warnings -> Warnings

mconcat :: [Warnings] -> Warnings

Pretty Warnings

Defined in Language.Futhark.Warnings

Methods

ppr :: Warnings -> Doc

pprPrec :: Int -> Warnings -> Doc

pprList :: [Warnings] -> Doc

data LoadedProg

A loaded, type-checked program. This can be used to extract information about the program, but also to speed up subsequent reloads.

noLoadedProg :: LoadedProg

A "loaded program" containing no actual files. Use this as a starting point for reloadProg

lpImports :: LoadedProg -> Imports

The Imports of a LoadedProg, as expected by e.g. type checking functions.

reloadProg :: (MonadError CompilerError m, MonadIO m) => LoadedProg -> [FilePath] -> m (Warnings, LoadedProg)

Load some new files, reusing as much of the previously loaded program as possible. This does not *extend* the currently loaded program the way extendProg does it, so it is always correct (if less efficient) to pass noLoadedProg.

extendProg :: (MonadError CompilerError m, MonadIO m) => LoadedProg -> [FilePath] -> m (Warnings, LoadedProg)

Extend a loaded program with (possibly new) files.