@@ -47,9 +47,9 @@ defaultTheme = ColourTheme { keywordColour = IdrisColour Nothing True False True
4747mkSGR :: IdrisColour -> [SGR]
4848mkSGR (IdrisColour c v u b i) =
4949 fg c ++
50− (if u then [SetUnderlining SingleUnderline] else []) ++
51− (if b then [SetConsoleIntensity BoldIntensity] else []) ++
52− (if i then [SetItalicized True] else [])
50+ [SetUnderlining SingleUnderline | u] ++
51+ [SetConsoleIntensity BoldIntensity | b] ++
52+ [SetItalicized True | i]
5353 where
5454 fg Nothing = []
5555 fg (Just c) = [SetColor Foreground (if v then Vivid else Dull) c]
@@ -71,9 +71,9 @@ hEndColourise h _ = hSetSGR h [Reset]
7171colouriseWithSTX :: IdrisColour -> String -> String
7272colouriseWithSTX (IdrisColour c v u b i) str = setSGRCode sgr ++ "\STX" ++ str ++ setSGRCode [Reset] ++ "\STX"
7373 where sgr = fg c ++
74− (if u then [SetUnderlining SingleUnderline] else []) ++
75− (if b then [SetConsoleIntensity BoldIntensity] else []) ++
76− (if i then [SetItalicized True] else [])
74+ [SetUnderlining SingleUnderline | u] ++
75+ [SetConsoleIntensity BoldIntensity | b] ++
76+ [SetItalicized True | i]
7777 fg Nothing = []
7878 fg (Just c) = [SetColor Foreground (if v then Vivid else Dull) c]
7979