git.iko.soy/Idris-dev
on master help sign in
Strip ANSI codes from parser errors in IDE

Fixes #1458.

commit1267d649b6ee3a7d0fec6051b9e8328f32a6d161 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateTue 5 Aug 2014, 10:12 (12 years ago) parentd947282
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/REPL.hs+1−1
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')