File tree Expand file tree Collapse file tree 1 file changed +10
-0
lines changed Expand file tree Collapse file tree 1 file changed +10
-0
lines changed Original file line number Diff line number Diff line change @@ -598,6 +598,16 @@ module Fmt = struct
598
598
| [] -> ()
599
599
| t -> fpf ppf fmt_outer (Format. pp_print_list ~pp_sep pp_a) t
600
600
601
+ (* Three helper functions to help with paths. Generally paths
602
+ have constructors of the form [`Hidden(p1)] or
603
+ [`Alias(p1,p2)]. When printing these paths, if we're printing a
604
+ short path we often want to just ignore the constructor and print
605
+ one of the inner paths, [p1] or [p2]. These functions do that. If
606
+ [short_paths] is set in the config, we skip to one of the inner
607
+ paths - in [wrap] there's no choice, but in [wrap2] we pick [p1]
608
+ and in [wrap2r] we pick [p2]. If [short_paths] is not set, we
609
+ print a string representing the constructor, and one or both paths
610
+ with brackets. *)
601
611
let wrap :
602
612
type a .
603
613
config ->
You can’t perform that action at this time.
0 commit comments