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

Safe Haskell	None

CSPM.Parser.Exceptions

Synopsis

Documentation

invalidPatternErrorMessage :: PExp -> ErrorMessage Source

invalidLetDeclarationErrorMessage :: PDecl -> ErrorMessage Source

invalidModuleDeclarationErrorMessage :: PDecl -> ErrorMessage Source

invalidFunctionArgsErrorMessage :: PSType -> ErrorMessage Source

invalidExpressionErrorMessage :: PExp -> ErrorMessage Source

invalidIncludeErrorMessage :: SrcSpan -> ErrorMessage Source

invalidTimedSectionDeclarationErrorMessage :: PDecl -> ErrorMessage Source

lexicalErrorMessage :: SrcSpan -> ErrorMessage Source

parseErrorMessage :: LToken -> ErrorMessage Source

fileAccessErrorMessage :: FilePath -> ErrorMessage Source

ambiguousTypeAnnotationsError :: UnRenamedName -> [SrcSpan] -> ErrorMessage Source

unusedTypeAnnotationsError :: UnRenamedName -> SrcSpan -> ErrorMessage Source

unknownConstraintError :: String -> SrcSpan -> ErrorMessage Source

definitionSpanFileError :: PExp -> PExp -> SrcSpan -> ErrorMessage Source

throwSourceError :: ErrorMessages -> aSource

Throw an error message as a SourceError.