@@ -42,11 +42,11 @@ data LogLevel : Nat -> Type where
42 ||| An event that might possible lead to an error.
42 ||| An event that might possible lead to an error.
43 WARN : LogLevel 40
43 WARN : LogLevel 40
45− ||| A severe error that will prevent the application from continuing.
48 ||| An error in the application, possibly recoverable.
45 ||| An error in the application, possibly recoverable.
49− ERROR : LogLevel 60
46+ ERROR : LogLevel 50
48+ ||| A severe error that will prevent the application from continuing.
51 ||| All events should be logged.
51 ||| All events should be logged.
52 ALL : LogLevel 70
52 ALL : LogLevel 70