(** {{{ Debugging *)
let _ =
- if BuildTimeConf.debug then begin
+ if BuildTimeConf.debug ||
+ Helm_registry.get_bool "matita.debug_menu"
+ then begin
gui#main#debugMenu#misc#show ();
let addDebugItem ~label callback =
let item =
let addDebugSeparator () =
ignore (GMenu.separator_item ~packing:gui#main#debugMenu_menu#append ())
in
+ addDebugItem "dump aliases" (fun _ ->
+ let status = script#lexicon_status in
+ HLog.debug (DisambiguatePp.pp_environment status.LexiconEngine.aliases));
addDebugItem "dump environment to \"env.dump\"" (fun _ ->
let oc = open_out "env.dump" in
CicEnvironment.dump_to_channel oc;
HLog.debug
((String.concat ","
(List.map
- (fun u,saturations ->
+ (fun u,saturations,_ ->
UriManager.name_of_uri u ^
"(" ^ string_of_int saturations ^ ")")
ul)) ^ ":"
- ^ CoercDb.name_of_carr s ^ " -> " ^ CoercDb.name_of_carr t))
+ ^ CoercDb.string_of_carr s ^ " -> " ^ CoercDb.string_of_carr t))
(CoercDb.to_list ()));
addDebugSeparator ();
let mview () = (MatitaMathView.sequentsViewer_instance ())#cicMathView in