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