1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
open Kernel
let dkey = register_category "foo-category"
let main () =
(* oracle stability is not great with backtrace on. *)
Printexc.record_backtrace false;
result ~dkey "result with dkey";
result "result";
feedback ~dkey "feedback with dkey";
feedback "feedback";
debug ~level:0 ~dkey "debug (level 0) with dkey";
debug ~level:0 "debug (level 0)";
warning "warning";
(* temporarily disabled to avoid leaking version number in test oracle
error "error";
failure "failure";*)
()
let () = Db.Main.extend main
|
