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 /interp/ppextend.ml | |
| 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 'interp/ppextend.ml')
| -rw-r--r-- | interp/ppextend.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/interp/ppextend.ml b/interp/ppextend.ml index 37bbe0ce8..87ca25325 100644 --- a/interp/ppextend.ml +++ b/interp/ppextend.ml @@ -23,12 +23,9 @@ type ppbox = | PpHOVB of int | PpHVB of int | PpVB of int - | PpTB type ppcut = | PpBrk of int * int - | PpTbrk of int * int - | PpTab | PpFnl let ppcmd_of_box = function @@ -36,13 +33,10 @@ let ppcmd_of_box = function | PpHOVB n -> hov n | PpHVB n -> hv n | PpVB n -> v n - | PpTB -> t let ppcmd_of_cut = function - | PpTab -> tab () | PpFnl -> fnl () | PpBrk(n1,n2) -> brk(n1,n2) - | PpTbrk(n1,n2) -> tbrk(n1,n2) type unparsing = | UnpMetaVar of int * parenRelation |