@@ -1094,6 +1094,7 @@ idrisMain opts =
1094 let nobanner = NoBanner `elem` opts
1094 let nobanner = NoBanner `elem` opts
1095 let idesl = Ideslave `elem` opts
1095 let idesl = Ideslave `elem` opts
1096 let runrepl = not (NoREPL `elem` opts)
1096 let runrepl = not (NoREPL `elem` opts)
1097+ let verbose = runrepl || Verbose `elem` opts
1097 let output = opt getOutput opts
1098 let output = opt getOutput opts
1098 let ibcsubdir = opt getIBCSubDir opts
1099 let ibcsubdir = opt getIBCSubDir opts
1099 let importdirs = opt getImportDir opts
1100 let importdirs = opt getImportDir opts
@@ -1126,14 +1127,13 @@ idrisMain opts =
1126 setREPL runrepl
1127 setREPL runrepl
1127 setQuiet (quiet || isJust script)
1128 setQuiet (quiet || isJust script)
1128 setIdeSlave idesl
1129 setIdeSlave idesl
1129− setVerbose runrepl
1130+ setVerbose verbose
1130 setCmdLine opts
1131 setCmdLine opts
1131 setOutputTy outty
1132 setOutputTy outty
1132 setCodegen cgn
1133 setCodegen cgn
1133 setTargetTriple trpl
1134 setTargetTriple trpl
1134 setTargetCPU tcpu
1135 setTargetCPU tcpu
1135 setOptLevel optimize
1136 setOptLevel optimize
1136− when (Verbose `elem` opts) $ setVerbose True
1137 mapM_ makeOption opts
1137 mapM_ makeOption opts
1138 -- if we have the --bytecode flag, drop into the bytecode assembler
1138 -- if we have the --bytecode flag, drop into the bytecode assembler
1139 case bcs of
1139 case bcs of