feldspar-compiler-0.4.0.2: Compiler for the Feldspar language

Feldspar.Compiler.Backend.C.Plugin.TypeCorrector

Documentation

type TypeCatalog = Map String TypeSource

data GlobalCollector Source

Constructors

GlobalCollector 

Instances

data TypeCheckDown Source

Constructors

TypeCheckDown 

Fields

globals :: TypeCatalog
 
inDeclaration :: Bool
 

data TypeCheck Source

Constructors

TypeCheck 

Instances

data TypeCorrector Source

Constructors

TypeCorrector 

Instances