[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/tophide][upstream] New upstream version 1.1.0



Title: GitLab

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / tophide

Commits:

  • 63061adf
    by Stephane Glondu at 2025-02-02T01:14:19+01:00
    New upstream version 1.1.0

1 changed file:

Changes:

  • tophide.ml
    ... ... @@ -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 ()


  • Reply to: