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])