diff options
| author | Chimrod <> | 2023-10-16 16:42:53 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-18 11:19:35 +0200 |
| commit | 0b75cd5bc0f7d0ad905bce5bebc6e47c927f64d7 (patch) | |
| tree | 9381b4b3b6c06104d773978f330f073b805a40f0 /lib/syntax/report.ml | |
| parent | 736456d9952c1d58008f4ca5755913dfff7a32b8 (diff) | |
Used the dead-end checker in main analysis
Diffstat (limited to 'lib/syntax/report.ml')
| -rw-r--r-- | lib/syntax/report.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/syntax/report.ml b/lib/syntax/report.ml index 9ad24c3..9dae0f5 100644 --- a/lib/syntax/report.ml +++ b/lib/syntax/report.ml @@ -31,6 +31,9 @@ let pp_pos : Format.formatter -> pos -> unit = type t = { level : level; loc : pos; message : string } [@@deriving show { with_path = false }] +let debug : pos -> string -> t = + fun loc message -> { level = Debug; loc; message } + let warn : pos -> string -> t = fun loc message -> { level = Warn; loc; message } |