ajhc-0.8.0.7: Haskell compiler that produce binary through C language

Safe Haskell	None

E.TypeAnalysis

Description

examine all uses of types in a program to determine which ones are actually needed in the method generation

Documentation

typeAnalyze :: Bool -> Program -> IO Program Source

type Typ = VMap () Name Source

expandPlaceholder :: Monad m => Comb -> m Comb Source