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