libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Evaluator.Exceptions

Documentation

patternMatchFailureMessage :: SrcSpan -> AnPat -> Value -> ErrorMessage Source

funBindPatternMatchFailureMessage :: SrcSpan -> Name -> [[Value]] -> ErrorMessage Source

typeCheckerFailureMessage :: String -> ErrorMessage Source