@@ -93,13 +93,13 @@ pColour = doColour colours
9393 doColour ((s, c):cs) = (try (symbol s) >> return c) <|> doColour cs
9494
9595pColourMod :: IParser (IdrisColour -> IdrisColour)
96−pColourMod = (symbol "vivid" >> return doVivid)
97− <|> (symbol "dull" >> return doDull)
98− <|> (symbol "underline" >> return doUnderline)
99− <|> (symbol "nounderline" >> return doNoUnderline)
100− <|> (symbol "bold" >> return doBold)
101− <|> (symbol "nobold" >> return doNoBold)
102− <|> (pColour >>= return . doSetColour)
96+pColourMod = try (symbol "vivid" >> return doVivid)
97+ <|> try (symbol "dull" >> return doDull)
98+ <|> try (symbol "underline" >> return doUnderline)
99+ <|> try (symbol "nounderline" >> return doNoUnderline)
100+ <|> try (symbol "bold" >> return doBold)
101+ <|> try (symbol "nobold" >> return doNoBold)
102+ <|> try (pColour >>= return . doSetColour)
103103 where doVivid i = i { vivid = True }
104104 doDull i = i { vivid = False }
105105 doUnderline i = i { underline = True }