language-c-0.4.7: Analysis and generation of C code

Copyright	(c) 2008 Benedikt Huber
License	BSD-style
Maintainer	benedikt.huber@gmail.com
Stability	alpha
Portability	ghc
Safe Haskell	None
Language	Haskell98

Language.C.Analysis.SemError

Description

Errors in the semantic analysis

Synopsis

Documentation

newtype InvalidASTError Source

InvalidASTError is caused by the violation of an invariant in the AST

Constructors

InvalidAST ErrorInfo

Instances

Show InvalidASTError
Error InvalidASTError
Typeable * InvalidASTError

invalidAST :: NodeInfo -> String -> InvalidASTError Source

newtype BadSpecifierError Source

BadSpecifierError is caused by an invalid combination of specifiers

Constructors

BadSpecifierError ErrorInfo

Instances

Show BadSpecifierError
Error BadSpecifierError
Typeable * BadSpecifierError

badSpecifierError :: NodeInfo -> String -> BadSpecifierError Source

data TypeMismatch Source

Constructors

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

Instances

Show TypeMismatch
Error TypeMismatch
Typeable * TypeMismatch

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
Error RedefError
Typeable * RedefError

data RedefInfo Source

Constructors

RedefInfo String RedefKind NodeInfo NodeInfo

data RedefKind Source

Constructors

DuplicateDef
DiffKindRedecl
ShadowedDef
DisagreeLinkage
NoLinkageOld

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