Agda.Compiler.CallCompiler

A command which calls a compiler

Documentation

callCompiler

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.

callCompiler'

Arguments

:: FilePath

The path to the compiler

-> [String]

Command-line arguments.

-> TCM (Maybe String)

Generalisation of callCompiler where the raised exception is returned.