Futhark.Compiler.Program

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

Documentation

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

Read Futhark files from some basis, and printing log messages if the first parameter is True.

readImports :: (MonadError CompilerError m, MonadIO m) => Basis -> [ImportName] -> m (Warnings, Imports, VNameSource)

Read and type-check Futhark imports (no .fut extension; may refer to baked-in prelude). This is an exotic operation that probably only makes sense in an interactive environment.

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 Basis

Pre-typechecked imports, including a starting point for the name source.

Constructors

Basis

Fields

• basisImports :: Imports
• basisNameSource :: VNameSource
• basisRoots :: [String]

  Files that should be implicitly opened.

emptyBasis :: Basis

A basis that contains no imports, and has a properly initialised name source.