git.iko.soy/Idris-dev
on master help sign in
Make --ideslave imply --nocolour
8b91e60David Christiansen
src/Idris/AbsSyntax.hs+1−1
compare with master
unifiedsplit
@@ -451,7 +451,7 @@ outputTy = do i <- getIState
451
451
452setIdeSlave :: Bool -> Idris ()
452setIdeSlave :: Bool -> Idris ()
453setIdeSlave True = do i <- getIState
453setIdeSlave True = do i <- getIState
454− putIState $ i { idris_outputmode = (IdeSlave 0) }
454+ putIState $ i { idris_outputmode = (IdeSlave 0), idris_colourRepl = False }
455setIdeSlave False = return ()
455setIdeSlave False = return ()
456
456
457setTargetTriple :: String -> Idris ()
457setTargetTriple :: String -> Idris ()