@@ -1102,6 +1102,7 @@ idrisMain opts =
1102 let nobanner = NoBanner `elem` opts
1102 let nobanner = NoBanner `elem` opts
1103 let idesl = Ideslave `elem` opts
1103 let idesl = Ideslave `elem` opts
1104 let runrepl = not (NoREPL `elem` opts)
1104 let runrepl = not (NoREPL `elem` opts)
1105+ let verbose = runrepl || Verbose `elem` opts
1105 let output = opt getOutput opts
1106 let output = opt getOutput opts
1106 let ibcsubdir = opt getIBCSubDir opts
1107 let ibcsubdir = opt getIBCSubDir opts
1107 let importdirs = opt getImportDir opts
1108 let importdirs = opt getImportDir opts
@@ -1134,14 +1135,13 @@ idrisMain opts =
1134 setREPL runrepl
1135 setREPL runrepl
1135 setQuiet (quiet || isJust script)
1136 setQuiet (quiet || isJust script)
1136 setIdeSlave idesl
1137 setIdeSlave idesl
1137− setVerbose runrepl
1138+ setVerbose verbose
1138 setCmdLine opts
1139 setCmdLine opts
1139 setOutputTy outty
1140 setOutputTy outty
1140 setCodegen cgn
1141 setCodegen cgn
1141 setTargetTriple trpl
1142 setTargetTriple trpl
1142 setTargetCPU tcpu
1143 setTargetCPU tcpu
1143 setOptLevel optimize
1144 setOptLevel optimize
1144− when (Verbose `elem` opts) $ setVerbose True
1145 mapM_ makeOption opts
1145 mapM_ makeOption opts
1146 -- if we have the --bytecode flag, drop into the bytecode assembler
1146 -- if we have the --bytecode flag, drop into the bytecode assembler
1147 case bcs of
1147 case bcs of