language-c-0.3.1.1: Analysis and generation of C codeSource codeContentsIndex
Language.C.Analysis.SemError
Portabilityghc
Stabilityalpha
Maintainerbenedikt.huber@gmail.com
Description
Errors in the semantic analysis
Synopsis
newtype InvalidASTError = InvalidAST ErrorInfo
invalidAST :: NodeInfo -> String -> InvalidASTError
newtype BadSpecifierError = BadSpecifierError ErrorInfo
badSpecifierError :: NodeInfo -> String -> BadSpecifierError
data TypeMismatch = TypeMismatch String (NodeInfo, Type) (NodeInfo, Type)
typeMismatch :: String -> (NodeInfo, Type) -> (NodeInfo, Type) -> TypeMismatch
data RedefError = RedefError ErrorLevel RedefInfo
data RedefInfo = RedefInfo String RedefKind NodeInfo NodeInfo
data RedefKind
= DuplicateDef
| DiffKindRedecl
| ShadowedDef
redefinition :: ErrorLevel -> String -> RedefKind -> NodeInfo -> NodeInfo -> RedefError
Documentation
newtype InvalidASTError Source
InvalidASTError is caused by the violation of an invariant in the AST
Constructors
InvalidAST ErrorInfo
invalidAST :: NodeInfo -> String -> InvalidASTErrorSource
newtype BadSpecifierError Source
BadSpecifierError is caused by an invalid combination of specifiers
Constructors
BadSpecifierError ErrorInfo
badSpecifierError :: NodeInfo -> String -> BadSpecifierErrorSource
data TypeMismatch Source
Constructors
TypeMismatch String (NodeInfo, Type) (NodeInfo, Type)
typeMismatch :: String -> (NodeInfo, Type) -> (NodeInfo, Type) -> TypeMismatchSource
data RedefError Source
RedefError is caused by an invalid redefinition of the same identifier or type
Constructors
RedefError ErrorLevel RedefInfo
data RedefInfo Source
Constructors
RedefInfo String RedefKind NodeInfo NodeInfo
data RedefKind Source
Constructors
DuplicateDef
DiffKindRedecl
ShadowedDef
redefinition :: ErrorLevel -> String -> RedefKind -> NodeInfo -> NodeInfo -> RedefErrorSource
Produced by Haddock version 2.6.1