diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-02 16:11:03 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-02 16:13:30 +0200 |
| commit | 9907e296e21fdd9dc3fab2b84fe7159b35af654c (patch) | |
| tree | fc57dc4b3c6827655d3ce691248411838ace628b /lib/pp.mli | |
| parent | 2d2d86c165cac7b051da1c5079d614a76550a20c (diff) | |
Remove tabulation support from pretty-printing.
This mechanism relied on functions that are deprecated in recent versions
of ocaml. It was incorrectly used for the most part anyway. The only place
that was using tabulations correctly is "print_loadpath", so there is a
minor regression there: physical paths of short logical paths are no longer
aligned.
Diffstat (limited to 'lib/pp.mli')
| -rw-r--r-- | lib/pp.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/pp.mli b/lib/pp.mli index ced4b6603..d7ab5cc96 100644 --- a/lib/pp.mli +++ b/lib/pp.mli @@ -15,8 +15,6 @@ type std_ppcmds val str : string -> std_ppcmds val stras : int * string -> std_ppcmds val brk : int * int -> std_ppcmds -val tbrk : int * int -> std_ppcmds -val tab : unit -> std_ppcmds val fnl : unit -> std_ppcmds val pifb : unit -> std_ppcmds val ws : int -> std_ppcmds @@ -59,7 +57,6 @@ val h : int -> std_ppcmds -> std_ppcmds val v : int -> std_ppcmds -> std_ppcmds val hv : int -> std_ppcmds -> std_ppcmds val hov : int -> std_ppcmds -> std_ppcmds -val t : std_ppcmds -> std_ppcmds (** {6 Opening and closing of boxes} *) @@ -67,9 +64,7 @@ val hb : int -> std_ppcmds val vb : int -> std_ppcmds val hvb : int -> std_ppcmds val hovb : int -> std_ppcmds -val tb : unit -> std_ppcmds val close : unit -> std_ppcmds -val tclose : unit -> std_ppcmds (** {6 Opening and closing of tags} *) |