Swapped order of FATAL and ERROR.
commitd57d92902731e2bbfd9e25843c58d63c963a7c7c
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateWed 26 Aug 2015, 16:45 (11 years ago)
parent3c9527d
libs/effects/Effect/Logging.idr+4−4
@@ -42,11 +42,11 @@ data LogLevel : Nat -> Type where
4242 ||| An event that might possible lead to an error.
4343 WARN : LogLevel 40
4444
45− ||| A severe error that will prevent the application from continuing.
46− FATAL : LogLevel 50
47−
4845 ||| An error in the application, possibly recoverable.
49− ERROR : LogLevel 60
46+ ERROR : LogLevel 50
47+
48+ ||| A severe error that will prevent the application from continuing.
49+ FATAL : LogLevel 60
5050
5151 ||| All events should be logged.
5252 ALL : LogLevel 70