--- a/src/Pure/System/scala.scala Sat Jan 16 19:25:20 2021 +0100
+++ b/src/Pure/System/scala.scala Sat Jan 16 22:52:43 2021 +0100
@@ -11,7 +11,7 @@
import scala.tools.nsc.{GenericRunnerSettings, ConsoleWriter, NewLinePrintWriter}
import scala.tools.nsc.interpreter.{IMain, Results}
-
+import scala.tools.nsc.interpreter.shell.ReplReporterImpl
object Scala
{
@@ -96,7 +96,7 @@
print_writer: PrintWriter = default_print_writer,
class_loader: ClassLoader = null): IMain =
{
- new IMain(settings, print_writer)
+ new IMain(settings, new ReplReporterImpl(settings, print_writer))
{
override def parentClassLoader: ClassLoader =
if (class_loader == null) super.parentClassLoader