diff options
Diffstat (limited to 'printing/ppconstr.ml')
-rw-r--r-- | printing/ppconstr.ml | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index fd4676530..69fc30864 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -811,9 +811,17 @@ end module Tag = struct - let keyword = Ppstyle.make ["constr"; "keyword"] - let evar = Ppstyle.make ["constr"; "evar"] - let univ = Ppstyle.make ["constr"; "type"] + let keyword = + let style = Terminal.make ~bold:true () in + Ppstyle.make ~style ["constr"; "keyword"] + + let evar = + let style = Terminal.make ~bold:true ~fg_color:`BLUE () in + Ppstyle.make ~style ["constr"; "evar"] + + let univ = + let style = Terminal.make ~bold:true ~fg_color:`YELLOW () in + Ppstyle.make ~style ["constr"; "type"] end let do_not_tag _ x = x |