git.iko.soy/Idris-dev
on master help sign in
Make reloading 'quiet' in --client mode
86c9decEdwin Brady
src/Idris/REPL.hs+2
compare with master
unifiedsplit
@@ -143,6 +143,8 @@ processNetCmd stvar orig i h fn cmd
143 }
143 }
144 putIState orig
144 putIState orig
145 setOutH h
145 setOutH h
146+ setQuiet True
147+ setVerbose False
146 mods <- loadInputs h [fn]
148 mods <- loadInputs h [fn]
147 ist <- getIState
149 ist <- getIState
148 return ist
150 return ist