Language.C.Analysis.SemError

Portability	ghc
Stability	alpha
Maintainer	benedikt.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 -> InvalidASTError

Source

newtype BadSpecifierError

Source

BadSpecifierError is caused by an invalid combination of specifiers

Constructors

BadSpecifierError ErrorInfo

badSpecifierError :: NodeInfo -> String -> BadSpecifierError

Source

data TypeMismatch

Source

Constructors

TypeMismatch String (NodeInfo, Type) (NodeInfo, Type)

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

data RedefInfo

Source

Constructors

RedefInfo String RedefKind NodeInfo NodeInfo

data RedefKind

Source

Constructors

DuplicateDef
DiffKindRedecl
ShadowedDef

redefinition :: ErrorLevel -> String -> RedefKind -> NodeInfo -> NodeInfo -> RedefError

Source

Produced by Haddock version 2.6.0