Merge pull request #1459 from david-christiansen/issue/1458
Strip ANSI codes from parser errors in IDE
commit95e1d27803875d42a19979300126f5b06ac39d6c
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 5 Aug 2014, 10:43 (12 years ago)
parent8e94d311267d64
src/Idris/REPL.hs+1−1
@@ -276,7 +276,7 @@ runIdeSlaveCommand h id orig fn mods (IdeSlave.Interpret cmd) =
276276 do c <- colourise
277277 i <- getIState
278278 case parseCmd i "(input)" cmd of
279− Failure err -> iPrintError $ show (fixColour c err)
279+ Failure err -> iPrintError $ show (fixColour False err)
280280 Success (Prove n') ->
281281 idrisCatch
282282 (do process fn (Prove n')