Source file grace_ansi_renderer.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
open! Import
module Config = Config

let default_code_to_string _code = "E????"

let of_snippet_renderer
      snippet_of_diagnostic
      f
      ?(config = Config.default)
      ?(code_to_string = default_code_to_string)
      x
      diagnostic
  =
  let snippet = Source_reader.with_reader @@ fun () -> snippet_of_diagnostic diagnostic in
  f ~config ~code_to_string x snippet
;;

let pp_diagnostic ?config ?code_to_string ppf diagnostic =
  of_snippet_renderer
    Snippet.of_diagnostic
    Snippet_renderer.pp_snippet
    ?config
    ?code_to_string
    ppf
    diagnostic
;;

let pp_compact_diagnostic ?config ?code_to_string ppf diagnostic =
  of_snippet_renderer
    Snippet.compact_of_diagnostic
    Snippet_renderer.pp_snippet
    ?config
    ?code_to_string
    ppf
    diagnostic
;;

let output_diagnostic ?config ?code_to_string oc diagnostic =
  of_snippet_renderer
    Snippet.of_diagnostic
    Snippet_renderer.output_snippet
    ?config
    ?code_to_string
    oc
    diagnostic
;;

let output_compact_diagnostic ?config ?code_to_string oc diagnostic =
  of_snippet_renderer
    Snippet.compact_of_diagnostic
    Snippet_renderer.output_snippet
    ?config
    ?code_to_string
    oc
    diagnostic
;;

let of_snippet_renderer
      snippet_of_diagnostic
      f
      ?(config = Config.default)
      ?(code_to_string = default_code_to_string)
      diagnostic
  =
  let snippet = Source_reader.with_reader @@ fun () -> snippet_of_diagnostic diagnostic in
  f ~config ~code_to_string snippet
;;

let pr_diagnostic ?config ?code_to_string diagnostic =
  of_snippet_renderer
    Snippet.of_diagnostic
    Snippet_renderer.pr_snippet
    ?config
    ?code_to_string
    diagnostic
;;

let pr_compact_diagnostic ?config ?code_to_string diagnostic =
  of_snippet_renderer
    Snippet.compact_of_diagnostic
    Snippet_renderer.pr_snippet
    ?config
    ?code_to_string
    diagnostic
;;

let epr_diagnostic ?config ?code_to_string diagnostic =
  of_snippet_renderer
    Snippet.of_diagnostic
    Snippet_renderer.epr_snippet
    ?config
    ?code_to_string
    diagnostic
;;

let epr_compact_diagnostic ?config ?code_to_string diagnostic =
  of_snippet_renderer
    Snippet.compact_of_diagnostic
    Snippet_renderer.epr_snippet
    ?config
    ?code_to_string
    diagnostic
;;