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

Safe HaskellSafe



Futhark error definitions.



data CompilerError Source #


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.

MonadError InternalError PassM Source # 
Instance details

Defined in Futhark.Pass

MonadError InternalError (ImpM lore op) Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen


throwError :: InternalError -> ImpM lore op a #

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