@@ -1094,6 +1094,7 @@ idrisMain opts =
10941094 let nobanner = NoBanner `elem` opts
10951095 let idesl = Ideslave `elem` opts
10961096 let runrepl = not (NoREPL `elem` opts)
1097+ let verbose = runrepl || Verbose `elem` opts
10971098 let output = opt getOutput opts
10981099 let ibcsubdir = opt getIBCSubDir opts
10991100 let importdirs = opt getImportDir opts
@@ -1126,14 +1127,13 @@ idrisMain opts =
11261127 setREPL runrepl
11271128 setQuiet (quiet || isJust script)
11281129 setIdeSlave idesl
1129− setVerbose runrepl
1130+ setVerbose verbose
11301131 setCmdLine opts
11311132 setOutputTy outty
11321133 setCodegen cgn
11331134 setTargetTriple trpl
11341135 setTargetCPU tcpu
11351136 setOptLevel optimize
1136− when (Verbose `elem` opts) $ setVerbose True
11371137 mapM_ makeOption opts
11381138 -- if we have the --bytecode flag, drop into the bytecode assembler
11391139 case bcs of