futhark-0.11.0: An optimising compiler for a functional, array-oriented language.

Safe HaskellSafe
LanguageHaskell2010

Futhark.Error

Description

Futhark error definitions.

Synopsis

Documentation

data CompilerError Source #

Constructors

ExternalError Text

An error that happened due to something the user did, such as provide incorrect code or options.

InternalError Text Text ErrorClass

An internal compiler error. The second text is extra data for debugging, which can be written to a file.

data ErrorClass Source #

There are two classes of internal errors: actual bugs, and implementation limitations. The latter are already known and need not be reported.

data InternalError Source #

An error that is not the users fault, but a bug (or limitation) in the compiler. Compiler passes should only ever report this error - any problems after the type checker are *our* fault, not the users.

Instances
MonadError InternalError PassM Source # 
Instance details

Defined in Futhark.Pass

MonadError InternalError (ImpM lore op) Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Methods

throwError :: InternalError -> ImpM lore op a #

catchError :: ImpM lore op a -> (InternalError -> ImpM lore op a) -> ImpM lore op a #