Make reloading 'quiet' in --client mode
commit86c9dece8db7231c91a094c4ae873ee828087e77
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 28 Oct 2013, 08:11 (13 years ago)
parenta597154
src/Idris/REPL.hs+2
@@ -143,6 +143,8 @@ processNetCmd stvar orig i h fn cmd
143143 }
144144 putIState orig
145145 setOutH h
146+ setQuiet True
147+ setVerbose False
146148 mods <- loadInputs h [fn]
147149 ist <- getIState
148150 return ist