HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

ModuleAgda-2.7.0.1Haskell2010

Agda.Compiler.CallCompiler

A command which calls a compiler

  • 2 values
  • PackageAgda-2.7.0.1
  • Exports2
  • LanguageHaskell2010
  • LicenceMIT
  • SourceCallCompiler.hs
valuecallCompiler
  1. :: Bool

    Should we actually call the compiler

  2. -> FilePath

    The path to the compiler

  3. -> [String]

    Command-line arguments.

  4. -> Maybe FilePath

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

  5. -> Maybe TextEncoding

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

  6. -> 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.

valuecallCompiler'
  1. :: FilePath

    The path to the compiler

  2. -> [String]

    Command-line arguments.

  3. -> Maybe FilePath

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

  4. -> Maybe TextEncoding

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

  5. -> TCM (Maybe String)
#

Generalisation of callCompiler where the raised exception is returned.