summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorstuebinm2022-03-06 19:17:22 +0100
committerstuebinm2022-03-19 20:00:54 +0100
commit29e2e9579ddc656d62afd7052dcba398a5f0a107 (patch)
treec3192987cb23d5fd87b0f854c11fe261f51e3755 /server
parentdf7028c75c17230043c9839f173e164f9d6b0c0e (diff)
server: fix an annoying space
Diffstat (limited to 'server')
-rw-r--r--server/HtmlOrphans.hs3
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