diff options
author | stuebinm | 2022-03-06 19:17:22 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 20:00:54 +0100 |
commit | 29e2e9579ddc656d62afd7052dcba398a5f0a107 (patch) | |
tree | c3192987cb23d5fd87b0f854c11fe261f51e3755 /server | |
parent | df7028c75c17230043c9839f173e164f9d6b0c0e (diff) |
server: fix an annoying space
Diffstat (limited to 'server')
-rw-r--r-- | server/HtmlOrphans.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs index 64de2f6..aec6fe2 100644 --- a/server/HtmlOrphans.hs +++ b/server/HtmlOrphans.hs @@ -118,7 +118,7 @@ badge level = span_ [class_ badgetype] -- | Lint Levels directly render into badges instance ToHtml Level where - toHtml level = badge level (toHtml (show level :: Text)) + toHtml level = do badge level (show level); " " -- | Hints are just text with a level instance ToHtml Hint where @@ -149,7 +149,6 @@ instance ToHtml (DirResult a) where unless (null dirresultDeps) $ ul_ $ forM_ dirresultDeps $ \missing -> do li_ $ do - " " -- TODO: the whole Maybe Bool thing is annoying; I think that was a -- remnant of talking to python stuff and can probably be removed? if depFatal missing == Just True |