language-c-0.9.2: Analysis and generation of C code
Copyright(c) 2008 Benedikt Huber
LicenseBSD-style
Maintainerbenedikt.huber@gmail.com
Stabilityalpha
Portabilityghc
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 

newtype BadSpecifierError Source #

BadSpecifierError is caused by an invalid combination of specifiers

data TypeMismatch Source #

Constructors

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

Instances

Instances details
Show TypeMismatch Source # 
Instance details

Defined in Language.C.Analysis.SemError

Methods

showsPrec :: Int -> TypeMismatch -> ShowS

show :: TypeMismatch -> String

showList :: [TypeMismatch] -> ShowS

Error TypeMismatch Source # 
Instance details

Defined in Language.C.Analysis.SemError

data RedefError Source #

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

Instances

Instances details
Show RedefError Source # 
Instance details

Defined in Language.C.Analysis.SemError

Methods

showsPrec :: Int -> RedefError -> ShowS

show :: RedefError -> String

showList :: [RedefError] -> ShowS

Error RedefError Source # 
Instance details

Defined in Language.C.Analysis.SemError