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
show/hide Instances
invalidAST :: NodeInfo -> String -> InvalidASTErrorSource
newtype BadSpecifierError Source
BadSpecifierError is caused by an invalid combination of specifiers
Constructors
BadSpecifierError ErrorInfo
show/hide Instances
badSpecifierError :: NodeInfo -> String -> BadSpecifierErrorSource
data TypeMismatch Source
Constructors
TypeMismatch String (NodeInfo, Type) (NodeInfo, Type)
show/hide Instances
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
show/hide Instances
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.4.2