Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / tophide
Commits:
-
63061adf
by Stephane Glondu at 2025-02-02T01:14:19+01:00
-
25d269ce
by Stephane Glondu at 2025-02-02T01:14:20+01:00
-
fc1aeaa3
by Stephane Glondu at 2025-02-02T01:14:26+01:00
-
42cf0f73
by Stephane Glondu at 2025-02-02T01:17:07+01:00
2 changed files:
Changes:
1 | +tophide (1.1.0-1) unstable; urgency=medium
|
|
2 | + |
|
3 | + * Team upload
|
|
4 | + * New upstream release (Closes: #1093111)
|
|
5 | + |
|
6 | + -- Stéphane Glondu <glondu@debian.org> Sun, 02 Feb 2025 01:17:02 +0100
|
|
7 | + |
|
1 | 8 | tophide (1.0.4-5) unstable; urgency=medium
|
2 | 9 | |
3 | 10 | * Team upload
|
... | ... | @@ -10,17 +10,17 @@ open Outcometree |
10 | 10 | |
11 | 11 | type env = {
|
12 | 12 | print_out_class_type :
|
13 | - Format.formatter -> out_class_type -> unit;
|
|
13 | + Format_doc.formatter -> out_class_type -> unit;
|
|
14 | 14 | print_out_module_type :
|
15 | - Format.formatter -> out_module_type -> unit;
|
|
15 | + Format_doc.formatter -> out_module_type -> unit;
|
|
16 | 16 | print_out_phrase :
|
17 | 17 | Format.formatter -> out_phrase -> unit;
|
18 | 18 | print_out_sig_item :
|
19 | - Format.formatter -> out_sig_item -> unit;
|
|
19 | + Format_doc.formatter -> out_sig_item -> unit;
|
|
20 | 20 | print_out_signature :
|
21 | - Format.formatter -> out_sig_item list -> unit;
|
|
21 | + Format_doc.formatter -> out_sig_item list -> unit;
|
|
22 | 22 | print_out_type :
|
23 | - Format.formatter -> out_type -> unit;
|
|
23 | + Format_doc.formatter -> out_type -> unit;
|
|
24 | 24 | print_out_value :
|
25 | 25 | Format.formatter -> out_value -> unit;
|
26 | 26 | }
|
... | ... | @@ -97,16 +97,10 @@ let show () = load_env default_env |
97 | 97 | |
98 | 98 | let _ =
|
99 | 99 | (* Add "#hide" directive: *)
|
100 | - Hashtbl.add
|
|
101 | - directive_table
|
|
102 | - "hide"
|
|
103 | - (Directive_none hide);
|
|
100 | + add_directive "hide" (Directive_none hide) { section = ""; doc = "" };
|
|
104 | 101 |
|
105 | 102 | (* Add "#show" directive: *)
|
106 | - Hashtbl.add
|
|
107 | - directive_table
|
|
108 | - "show"
|
|
109 | - (Directive_none show);
|
|
103 | + add_directive "show" (Directive_none show) { section = ""; doc = "" };
|
|
110 | 104 | |
111 | 105 | (* Enter "hide" mode upon loading *)
|
112 | 106 | hide () |