@@ -1102,6 +1102,7 @@ idrisMain opts =
11021102 let nobanner = NoBanner `elem` opts
11031103 let idesl = Ideslave `elem` opts
11041104 let runrepl = not (NoREPL `elem` opts)
1105+ let verbose = runrepl || Verbose `elem` opts
11051106 let output = opt getOutput opts
11061107 let ibcsubdir = opt getIBCSubDir opts
11071108 let importdirs = opt getImportDir opts
@@ -1134,14 +1135,13 @@ idrisMain opts =
11341135 setREPL runrepl
11351136 setQuiet (quiet || isJust script)
11361137 setIdeSlave idesl
1137− setVerbose runrepl
1138+ setVerbose verbose
11381139 setCmdLine opts
11391140 setOutputTy outty
11401141 setCodegen cgn
11411142 setTargetTriple trpl
11421143 setTargetCPU tcpu
11431144 setOptLevel optimize
1144− when (Verbose `elem` opts) $ setVerbose True
11451145 mapM_ makeOption opts
11461146 -- if we have the --bytecode flag, drop into the bytecode assembler
11471147 case bcs of