type severity =
| Off
| Warn
| Err
let string_of_severity = function
| Off -> "off"
| Warn -> "warn"
| Err -> "error"
let output_string_of_severity = function
| Off -> "off"
| Warn -> "warning"
| Err -> "error"
let severity_of_string = function
| -> Some Off
| -> Some Warn
| -> Some Err
| _ -> None
let severity_cmp =
let int_of_severity = function
| Off -> 0
| Warn -> 1
| Err -> 2
in
(fun a b -> compare (int_of_severity a) (int_of_severity b))
let severity_min a b =
if severity_cmp a b < 0 then
a
else
b
let severity_max a b =
if severity_cmp a b > 0 then
a
else
b