| `Type_checking_completed of UriManager.uri
| `Trusting of UriManager.uri
]
-;;
-let log_to_html ~print_and_flush =
+let log =
let module U = UriManager in
- let indent = ref 0 in
- let mkindent () =
- String.make !indent ' '
- in
function
| `Start_type_checking uri ->
- print_and_flush (
- mkindent () ^
- "<div style=\"margin-left: " ^
- string_of_float (float_of_int !indent *. 0.5) ^ "cm\">" ^
- "Type-Checking of " ^ (U.string_of_uri uri) ^ " started</div>\n"
- ) ;
- incr indent
+ HelmLogger.log (`Msg (`DIV (1, None, `T
+ ("Type-Checking of " ^ (U.string_of_uri uri) ^ " started"))))
| `Type_checking_completed uri ->
- decr indent ;
- print_and_flush (
- mkindent () ^
- "<div style=\"color: green ; margin-left: " ^
- string_of_float (float_of_int !indent *. 0.5) ^ "cm\">" ^
- "Type-Checking of " ^ (U.string_of_uri uri) ^ " completed.</div>\n"
- )
+ HelmLogger.log (`Msg (`DIV (1, Some "green", `T
+ ("Type-Checking of " ^ (U.string_of_uri uri) ^ " completed"))))
| `Trusting uri ->
- print_and_flush (
- mkindent () ^
- "<div style=\"color: blue ; margin-left: " ^
- string_of_float (float_of_int !indent *. 0.5) ^ "cm\">" ^
- (U.string_of_uri uri) ^ " is trusted.</div>\n"
- )
-;;
+ HelmLogger.log (`Msg (`DIV (1, Some "blue", `T
+ ((U.string_of_uri uri) ^ " is trusted."))))
-let log_callback = ref (function (_:msg) -> ())
-let log msg = !log_callback msg;;