Helium.StaticAnalysis.Directives.TS_Compile

Compile a .type file.

(directives based on "Scripting the Type Inference Process", ICFP 2003)

Documentation

readTypingStrategiesFromFile :: [Option] -> String -> ImportEnvironment -> IO (Core_TypingStrategies, [CoreDecl])