diff options
author | stuebinm | 2022-02-18 18:09:23 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:54:48 +0100 |
commit | 52bf0fa6dace596a4bd5b4e4229fbb9704fbf443 (patch) | |
tree | 971604d125e2faba93db8845224a2d43ee645935 /server/HtmlOrphans.hs | |
parent | 53fb449b008e9b6aed9877b9d33f4026e454e0f9 (diff) |
switch to universum prelude
also don't keep adjusted maps around if not necessary
Diffstat (limited to 'server/HtmlOrphans.hs')
-rw-r--r-- | server/HtmlOrphans.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs index ebe65aa..9b09f1d 100644 --- a/server/HtmlOrphans.hs +++ b/server/HtmlOrphans.hs @@ -108,7 +108,7 @@ headerText = \case -- | The fully monky -instance ToHtml DirResult where +instance ToHtml (DirResult a) where toHtml res@DirResult { .. } = do p_ $ do badge maxlevel "Linted:"; " "; headerText maxlevel |