package universo

  1. Overview
  2. Docs

Source file log.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
module D = Kernel.Basic.Debug

let debug_flag = D.register_flag "Universo"

(** Format transformers (colors). *)
let red fmt = "\027[31m" ^^ fmt ^^ "\027[0m%!"

let gre fmt = "\027[32m" ^^ fmt ^^ "\027[0m%!"

let yel fmt = "\027[33m" ^^ fmt ^^ "\027[0m%!"

let blu fmt = "\027[34m" ^^ fmt ^^ "\027[0m%!"

let mag fmt = "\027[35m" ^^ fmt ^^ "\027[0m%!"

let cya fmt = "\027[36m" ^^ fmt ^^ "\027[0m%!"

let log color fmt = D.debug debug_flag (color fmt)

let log_check fmt = log mag fmt

let log_elab fmt = log cya fmt

let log_solver fmt = log yel fmt

let log_univ fmt = log gre fmt

let error s = Format.eprintf "\027[31m%s\027[0m%!@." s

(** [enable_flag str] actives flags present in [str] *)
let enable_flag : string -> unit = fun str -> Api.Env.set_debug_mode str

let enable_universo_flag : unit -> unit = fun () -> D.enable_flag debug_flag