Agda-2.6.3.20230930: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Compiler.CallCompiler

Description

A command which calls a compiler

Synopsis
  • callCompiler :: Bool -> FilePath -> [String] -> Maybe FilePath -> Maybe TextEncoding -> TCM ()
  • callCompiler' :: FilePath -> [String] -> Maybe FilePath -> Maybe TextEncoding -> TCM (Maybe String)

Documentation

callCompiler Source #

Arguments

:: Bool

Should we actually call the compiler

-> FilePath

The path to the compiler

-> [String]

Command-line arguments.

-> Maybe FilePath

The working directory that should be used when the compiler is invoked. The default is the current working directory.

-> Maybe TextEncoding

Use the given text encoding, if any, when reading the output from the process (stdout and stderr).

-> 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' Source #

Arguments

:: FilePath

The path to the compiler

-> [String]

Command-line arguments.

-> Maybe FilePath

The working directory that should be used when the compiler is invoked. The default is the current working directory.

-> Maybe TextEncoding

Use the given text encoding, if any, when reading the output from the process (stdout and stderr).

-> TCM (Maybe String) 

Generalisation of callCompiler where the raised exception is returned.