E.Main

Documentation

processInitialHo

Arguments

:: CollectedHo

current accumulated ho

-> Ho

new ho, freshly read from file

-> IO CollectedHo

final combined ho data.

processDecls

Arguments

:: CollectedHo

Collected ho

-> Ho

preliminary haskell object data

-> TiData

front end output

-> IO (CollectedHo, Ho)

(new accumulated ho, final ho for this modules)

compileWholeProgram :: Program -> IO Program

dumpRules :: Rules -> IO ()