language-c-0.8.3: Analysis and generation of C code
Copyright(c) 2008 Benedikt Huber
LicenseBSD-style
Maintainerbenedikt.huber@gmail.com
Stabilityalpha
Portabilityghc
Safe HaskellNone
LanguageHaskell98

Language.C.Analysis.SemError

Description

Errors in the semantic analysis

Synopsis

Documentation

newtype InvalidASTError #

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

Constructors

InvalidAST ErrorInfo 

newtype BadSpecifierError #

BadSpecifierError is caused by an invalid combination of specifiers

data TypeMismatch #

Constructors

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

Instances

Instances details
Show TypeMismatch # 
Instance details

Defined in Language.C.Analysis.SemError

Methods

showsPrec :: Int -> TypeMismatch -> ShowS

show :: TypeMismatch -> String

showList :: [TypeMismatch] -> ShowS

Error TypeMismatch # 
Instance details

Defined in Language.C.Analysis.SemError

data RedefError #

RedefError is caused by an invalid redefinition of the same identifier or type

Instances

Instances details
Show RedefError # 
Instance details

Defined in Language.C.Analysis.SemError

Methods

showsPrec :: Int -> RedefError -> ShowS

show :: RedefError -> String

showList :: [RedefError] -> ShowS

Error RedefError # 
Instance details

Defined in Language.C.Analysis.SemError

data RedefInfo #

Constructors

RedefInfo String RedefKind NodeInfo NodeInfo