| Copyright | (c) 2008 Benedikt Huber |
|---|---|
| License | BSD-style |
| Maintainer | benedikt.huber@gmail.com |
| Stability | alpha |
| Portability | ghc |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Language.C.Analysis.SemError
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
- 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 |
Instances
| Show InvalidASTError Source # | |
Defined in Language.C.Analysis.SemError Methods showsPrec :: Int -> InvalidASTError -> ShowS # show :: InvalidASTError -> String # showList :: [InvalidASTError] -> ShowS # | |
| Error InvalidASTError Source # | |
Defined in Language.C.Analysis.SemError Methods errorInfo :: InvalidASTError -> ErrorInfo Source # toError :: InvalidASTError -> CError Source # fromError :: CError -> Maybe InvalidASTError Source # changeErrorLevel :: InvalidASTError -> ErrorLevel -> InvalidASTError Source # | |
invalidAST :: NodeInfo -> String -> InvalidASTError Source #
newtype BadSpecifierError Source #
BadSpecifierError is caused by an invalid combination of specifiers
Constructors
| BadSpecifierError ErrorInfo |
Instances
| Show BadSpecifierError Source # | |
Defined in Language.C.Analysis.SemError Methods showsPrec :: Int -> BadSpecifierError -> ShowS # show :: BadSpecifierError -> String # showList :: [BadSpecifierError] -> ShowS # | |
| Error BadSpecifierError Source # | |
Defined in Language.C.Analysis.SemError Methods errorInfo :: BadSpecifierError -> ErrorInfo Source # toError :: BadSpecifierError -> CError Source # fromError :: CError -> Maybe BadSpecifierError Source # changeErrorLevel :: BadSpecifierError -> ErrorLevel -> BadSpecifierError Source # | |
badSpecifierError :: NodeInfo -> String -> BadSpecifierError Source #
data TypeMismatch Source #
Instances
| Show TypeMismatch Source # | |
Defined in Language.C.Analysis.SemError Methods showsPrec :: Int -> TypeMismatch -> ShowS # show :: TypeMismatch -> String # showList :: [TypeMismatch] -> ShowS # | |
| Error TypeMismatch Source # | |
Defined in Language.C.Analysis.SemError Methods errorInfo :: TypeMismatch -> ErrorInfo Source # toError :: TypeMismatch -> CError Source # fromError :: CError -> Maybe TypeMismatch Source # changeErrorLevel :: TypeMismatch -> ErrorLevel -> TypeMismatch Source # | |
typeMismatch :: String -> (NodeInfo, Type) -> (NodeInfo, Type) -> TypeMismatch Source #
data RedefError Source #
RedefError is caused by an invalid redefinition of the same identifier or type
Constructors
| RedefError ErrorLevel RedefInfo |
Instances
| Show RedefError Source # | |
Defined in Language.C.Analysis.SemError Methods showsPrec :: Int -> RedefError -> ShowS # show :: RedefError -> String # showList :: [RedefError] -> ShowS # | |
| Error RedefError Source # | |
Defined in Language.C.Analysis.SemError Methods errorInfo :: RedefError -> ErrorInfo Source # toError :: RedefError -> CError Source # fromError :: CError -> Maybe RedefError Source # changeErrorLevel :: RedefError -> ErrorLevel -> RedefError Source # | |
Constructors
| DuplicateDef | |
| DiffKindRedecl | |
| ShadowedDef | |
| DisagreeLinkage | |
| NoLinkageOld |
redefinition :: ErrorLevel -> String -> RedefKind -> NodeInfo -> NodeInfo -> RedefError Source #