Module Utils.CliSource

Sourceval source_files : string list ref

Ssource files to be compiled

Sourceval debug_flag : bool ref

Prints debug information

Sourceval style_flag : bool ref
Sourceval max_prec_digits : int ref
Sourceval trace_flag : bool ref
Sourceval file : string Cmdliner.Term.t
Sourceval debug : bool Cmdliner.Term.t
Sourceval unstyled : bool Cmdliner.Term.t
Sourceval trace_opt : bool Cmdliner.Term.t
Sourceval wrap_weaved_output : bool Cmdliner.Term.t
Sourceval backend : string Cmdliner.Term.t
Sourcetype backend_option =
  1. | Latex
  2. | Makefile
  3. | Html
  4. | Run
Sourceval language : string option Cmdliner.Term.t
Sourceval max_prec_digits_opt : int option Cmdliner.Term.t
Sourceval ex_scope : string option Cmdliner.Term.t
Sourcetype frontend_lang = [
  1. | `Fr
  2. | `En
  3. | `NonVerbose
]
Sourcetype backend_lang = [
  1. | `Fr
  2. | `En
]
Sourceval to_backend_lang : frontend_lang -> backend_lang
Sourceval output : string option Cmdliner.Term.t
Sourceval pygmentize_loc : string option Cmdliner.Term.t
Sourceval catala_t : (string -> bool -> bool -> bool -> string option -> string -> string option -> int option -> bool -> string option -> string option -> 'a) -> 'a Cmdliner.Term.t

Terminal formatting

Markers

Sourceval print_with_style : ANSITerminal.style list -> ('a, unit, string) format -> 'a
Sourceval debug_marker : unit -> string

Prints [DEBUG] in purple on the terminal standard output

Sourceval error_marker : unit -> string

Prints [ERROR] in red on the terminal error output

Sourceval warning_marker : unit -> string

Prints [WARNING] in yellow on the terminal standard output

Sourceval result_marker : unit -> string

Prints [RESULT] in green on the terminal standard output

Sourceval log_marker : unit -> string

Prints [LOG] in red on the terminal error output

Printers

All the printers below print their argument after the correct marker

Sourceval concat_with_line_depending_prefix_and_suffix : (int -> string) -> (int -> string) -> string list -> string
Sourceval add_prefix_to_each_line : string -> (int -> string) -> string

The int argument of the prefix corresponds to the line number, starting at 0

Sourceval debug_print : string -> unit
Sourceval error_print : string -> unit
Sourceval warning_print : string -> unit
Sourceval result_print : string -> unit
Sourceval log_print : string -> unit