summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorstuebinm2021-12-16 00:30:30 +0100
committerstuebinm2021-12-16 00:30:30 +0100
commit988b8fd7fdba5eee0b100401351199af918bc9e0 (patch)
treec085899c48ef675043fb0fa115dbb60fa1379969 /lib
parentf74bb6eb321f9a22be5cbdb6c92ed74e09226b18 (diff)
made a partial function total
(shouldn't have been called anyways, but it's still nice not to have it fail if it ever does get called with that case)
Diffstat (limited to 'lib')
-rw-r--r--lib/Types.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Types.hs b/lib/Types.hs
index 481dd22..6f80d55 100644
--- a/lib/Types.hs
+++ b/lib/Types.hs
@@ -80,6 +80,8 @@ instance PrettyPrint Lint where
" Info: found dependency: " <> prettyprint dep
prettyprint (Offers dep) =
" Info: map offers entrypoint " <> prettyprint dep
+ prettyprint (Badge _) =
+ " Info: found a badge."
instance PrettyPrint Hint where
prettyprint (Hint level msg) = " " <> (showText level) <> ": " <> msg