Removed 'erroneous' Show instance for `LogRes`.
commite973421406fc9ab556ab62ef5ad50d2c4872448d
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateThu 1 Oct 2015, 08:27 (11 years ago)
parent8e8fd65
libs/effects/Effect/Logging/Category.idr−3
@@ -25,9 +25,6 @@ record LogRes (a : Type) where
2525 getLevel : LogLevel n
2626 getCategories : List a
2727
28−instance (Show a) => Show (LogRes a) where
29− show (MkLogRes l cs) = unwords ["Log Settings:", show l, show cs]
30−
3128instance Default (LogRes a) where
3229 default = MkLogRes OFF Nil
3330