diff options
| author | stuebinm | 2022-02-18 18:09:23 +0100 |
|---|---|---|
| committer | stuebinm | 2022-02-18 18:09:23 +0100 |
| commit | 7c49e6c367c9d021f3630c08a4a13ba9abc5df08 (patch) | |
| tree | c278d23a6e39c353f5aa02d1ce9785122e1eea62 /server/HtmlOrphans.hs | |
| parent | faa244e1a7e760be88054a5f15b3e115ad8e32e5 (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 |