src/Pure/System/scala.scala

--- a/src/Pure/System/scala.scala	Sat May 23 11:27:35 2020 +0200
+++ b/src/Pure/System/scala.scala	Sat May 23 11:33:45 2020 +0200
@@ -48,6 +48,8 @@
 
     class Context private [Compiler](val settings: GenericRunnerSettings)
     {
+      override def toString: String = settings.toString
+
       def interpreter(
         print_writer: PrintWriter = default_print_writer,
         class_loader: ClassLoader = null): IMain =