diff options
| author | stuebinm | 2021-12-16 00:30:30 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-16 00:30:30 +0100 |
| commit | 988b8fd7fdba5eee0b100401351199af918bc9e0 (patch) | |
| tree | c085899c48ef675043fb0fa115dbb60fa1379969 /lib | |
| parent | f74bb6eb321f9a22be5cbdb6c92ed74e09226b18 (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.hs | 2 |
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 |