Error levels (severity)
Instances3Eq, Ord, Show
Eq ErrorLevelDefined in language-c-0.9.3 · Language.C.Data.ErrorOrd ErrorLevelDefined in language-c-0.9.3 · Language.C.Data.ErrorShow ErrorLevelDefined in language-c-0.9.3 · Language.C.Data.Error
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Modulelanguage-c-0.9.3Haskell2010
Base type for errors occurring in parsing, analysing and pretty-printing. With ideas from Simon Marlow's "An extensible dynamically-typed hierarchy of execeptions [2006]"
Error levels (severity)
Eq ErrorLevelDefined in language-c-0.9.3 · Language.C.Data.ErrorOrd ErrorLevelDefined in language-c-0.9.3 · Language.C.Data.ErrorShow ErrorLevelDefined in language-c-0.9.3 · Language.C.Data.Errorreturn True when the given error makes it impossible to continue
analysis or compilation.
errors in Language.C are instance of Error
Error BadSpecifierErrorDefined in language-c-0.9.3 · Language.C.Analysis.SemErrorError InvalidASTErrorDefined in language-c-0.9.3 · Language.C.Analysis.SemErrorError RedefErrorDefined in language-c-0.9.3 · Language.C.Analysis.SemErrorError TypeMismatchDefined in language-c-0.9.3 · Language.C.Analysis.SemErrorError CErrorDefined in language-c-0.9.3 · Language.C.Data.ErrorError ErrorInfoDefined in language-c-0.9.3 · Language.C.Data.ErrorError UnsupportedFeatureDefined in language-c-0.9.3 · Language.C.Data.ErrorError UserErrorDefined in language-c-0.9.3 · Language.C.Data.Errorposition of an Error
severity level of an Error
message lines of an Error
supertypeinformation attached to every error in Language.C
converts an error into a string using a fixed format
either the lines of the long error message or the short message has to be non-empty
the format is
<fname>:<row>: (column <col>) [<err lvl>]
>>> <line_1>
<line_2>
...
<line_n>error raised if a operation requires an unsupported or not yet implemented feature.
Show UnsupportedFeatureDefined in language-c-0.9.3 · Language.C.Data.ErrorError UnsupportedFeatureDefined in language-c-0.9.3 · Language.C.Data.Errorunspecified error raised by the user (in case the user does not want to define her own error types).
raise a fatal internal error; message may have multiple lines