| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Agda.Compiler.CallCompiler
Description
A command which calls a compiler
Documentation
Arguments
| :: Bool | Should we actually call the compiler |
| -> FilePath | The path to the compiler |
| -> [String] | Command-line arguments. |
| -> TCM () |
Calls a compiler:
- Checks the exit code to see if the compiler exits successfully. If not, then an exception is raised, containing the text the compiler printed to stderr (if any).
- Uses the debug printout machinery to relay any progress information the compiler prints to stdout.