Language.Futhark.TypeChecker

The type checker checks whether the program is type-consistent and adds type annotations and various other elaborations. The program does not need to have any particular properties for the type checker to function; in particular it does not need unique names.

Documentation

checkProg :: Imports -> VNameSource -> ImportName -> UncheckedProg -> Either TypeError (FileModule, Warnings, VNameSource)

Type check a program containing no type information, yielding either a type error or a program with complete type information. Accepts a mapping from file names (excluding extension) to previously type checker results. The FilePath is used to resolve relative imports.

checkExp :: Imports -> VNameSource -> Env -> UncheckedExp -> Either TypeError Exp

Type check a single expression containing no type information, yielding either a type error or the same expression annotated with type information. See also checkProg.

checkDec :: Imports -> VNameSource -> Env -> ImportName -> UncheckedDec -> Either TypeError (Env, Dec, VNameSource)

Type check a single declaration containing no type information, yielding either a type error or the same expression annotated with type information along the Env produced by that declaration. See also checkProg.

data TypeError

Information about an error during type checking. The Show instance for this type produces a human-readable description.

Instances

Show TypeError

Defined in Language.Futhark.TypeChecker.Monad

Methods

showsPrec :: Int -> TypeError -> ShowS

show :: TypeError -> String

showList :: [TypeError] -> ShowS

MonadError TypeError TypeM

Defined in Language.Futhark.TypeChecker.Monad

Methods

throwError :: TypeError -> TypeM a

catchError :: TypeM a -> (TypeError -> TypeM a) -> TypeM a

data Warnings

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

Instances

Eq Warnings

Defined in Language.Futhark.Warnings

Methods

(==) :: Warnings -> Warnings -> Bool

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

Show Warnings

Defined in Language.Futhark.Warnings

Methods

showsPrec :: Int -> Warnings -> ShowS

show :: Warnings -> String

showList :: [Warnings] -> ShowS

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

MonadWriter Warnings TypeM

Defined in Language.Futhark.TypeChecker.Monad

Methods

writer :: (a, Warnings) -> TypeM a

tell :: Warnings -> TypeM ()

listen :: TypeM a -> TypeM (a, Warnings)

pass :: TypeM (a, Warnings -> Warnings) -> TypeM a

initialEnv :: Env

An initial environment for the type checker, containing intrinsics and such.