diff options
author | Chimrod <> | 2023-10-06 08:35:56 +0200 |
---|---|---|
committer | Chimrod <> | 2023-10-06 08:35:56 +0200 |
commit | 97ab5c9a21166f0bffee482210d69877fd6809fa (patch) | |
tree | d1fa44000fa07631edc8924a90020f2cfe637263 /syntax/report.ml | |
parent | 40f4dbe7844725e0ab07f03f25c35f55b4699b46 (diff) |
Moved qparser and syntax in the library folder
Diffstat (limited to 'syntax/report.ml')
-rw-r--r-- | syntax/report.ml | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/syntax/report.ml b/syntax/report.ml deleted file mode 100644 index 9ad24c3..0000000 --- a/syntax/report.ml +++ /dev/null @@ -1,40 +0,0 @@ -(** Report built over the differents analysis in the file *) - -type level = Error | Warn | Debug -[@@deriving show { with_path = false }, enum, eq] - -type pos = Lexing.position * Lexing.position - -let level_of_string : string -> (level, string) result = - fun level -> - match String.lowercase_ascii level with - | "error" -> Ok Error - | "warn" -> Ok Warn - | "debug" -> Ok Debug - | _ -> - Error - (Format.sprintf - "Unknown report level '%s'. Accepted values are error, warn, debug" - level) - -let pp_pos : Format.formatter -> pos -> unit = - fun f (start_pos, end_pos) -> - let start_c = start_pos.Lexing.pos_cnum - start_pos.Lexing.pos_bol - and end_c = end_pos.Lexing.pos_cnum - end_pos.Lexing.pos_bol - and start_line = start_pos.Lexing.pos_lnum - and end_line = end_pos.Lexing.pos_lnum in - - if start_line != end_line then - Format.fprintf f "Lines %d-%d" start_line end_line - else Format.fprintf f "Line %d %d:%d" start_line start_c end_c - -type t = { level : level; loc : pos; message : string } -[@@deriving show { with_path = false }] - -let warn : pos -> string -> t = - fun loc message -> { level = Warn; loc; message } - -let error : pos -> string -> t = - fun loc message -> { level = Error; loc; message } - -let message level loc message = { level; loc; message } |