Module DriverSource

Sourcemodule Cli = Utils.Cli
Sourcemodule Errors = Utils.Errors
Sourcemodule Pos = Utils.Pos
Sourceval languages : (string * Cli.backend_lang) list

Associates a Cli.backend_lang with its string represtation.

Sourceval extensions : (string * string) list

Associates a file extension with its corresponding Cli.backend_lang string representation.

Sourceval driver : Pos.input_file -> bool -> bool -> bool -> bool -> string -> string option -> int option -> bool -> bool -> bool -> string option -> string option -> int

Entry function for the executable. Returns a negative number in case of error. Usage: driver source_file debug dcalc unstyled wrap_weaved_output backend language max_prec_digits trace optimize scope_to_execute output_file

Sourceval main : unit -> unit