| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Helium.StaticAnalysis.Directives.TS_Compile
Description
Compile a .type file.
(directives based on "Scripting the Type Inference Process", ICFP 2003)
Documentation
readTypingStrategiesFromFile :: [Option] -> String -> ImportEnvironment -> IO (Core_TypingStrategies, [CoreDecl]) Source