pretty good

This commit is contained in:
cqc
2021-08-10 23:31:52 -05:00
parent a4c10bbf57
commit 2e1c66f7b6
4 changed files with 38 additions and 23 deletions

View File

@ -1717,6 +1717,8 @@ module Topdirs = struct
let dir_mod_use ppf name = ignore (mod_use_file ppf name)
let dir_use_silently ppf name = ignore (use_silently ppf name)
let _ =
add_directive "use"
(Directive_string (dir_use !std_out))
@ -1745,6 +1747,15 @@ module Topdirs = struct
module.";
}
let _ =
add_directive "use_silently"
(Directive_string (dir_use_silently !std_out))
{
section = section_run;
doc =
"Usage is identical to #use but #use_silently supresses all toplevel definition output.";
}
(* Install, remove a printer *)
let filter_arrow ty =