diff options
author | Son Ho | 2022-02-09 16:35:36 +0100 |
---|---|---|
committer | Son Ho | 2022-02-09 16:35:36 +0100 |
commit | dd1a786022b493c10da6f4d6d1c88a41b70e1eb5 (patch) | |
tree | 959895c7e52f45635fff8999f9d8dcb0de0782c1 /src/Logging.ml | |
parent | 056e6af4cf469dc9d72dff5222363edd9b563588 (diff) |
Implement the generation of `decreases` clauses in the definition
signatures
Diffstat (limited to '')
-rw-r--r-- | src/Logging.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Logging.ml b/src/Logging.ml index 55b07ed4..a7313de5 100644 --- a/src/Logging.ml +++ b/src/Logging.ml @@ -122,15 +122,16 @@ let style_to_codes s = | Fg c -> (to_fg_code c, to_fg_code Default) | Bg c -> (to_bg_code c, to_bg_code Default) -(** TODO: comes from easy_logging (did not manage to reuse the module directly) *) +(** TODO: comes from easy_logging (did not manage to reuse the module directly) + I made a minor modifications, though. *) let level_to_color (lvl : L.level) = match lvl with | L.Flash -> LMagenta | Error -> LRed | Warning -> LYellow - | Info -> LBlue + | Info -> LGreen | Trace -> Cyan - | Debug -> Green + | Debug -> LBlue | NoLevel -> Default (** [format styles str] formats [str] to the given [styles] - |