Safe Haskell | None |
---|
Documentation
:: (Ord n, Show n, Pretty n, NFData n) | |
=> Fragment n err | Language fragment. |
-> FilePath | Path to the module. |
-> IO (Maybe (Module (AnTEC () n) n)) |
Load and typecheck a module.
Safe Haskell | None |
---|
:: (Ord n, Show n, Pretty n, NFData n) | |
=> Fragment n err | Language fragment. |
-> FilePath | Path to the module. |
-> IO (Maybe (Module (AnTEC () n) n)) |
Load and typecheck a module.