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