equal
deleted
inserted
replaced
9 |
9 |
10 import java.io.{File => JFile, StringWriter, PrintWriter} |
10 import java.io.{File => JFile, StringWriter, PrintWriter} |
11 |
11 |
12 import scala.tools.nsc.{GenericRunnerSettings, ConsoleWriter, NewLinePrintWriter} |
12 import scala.tools.nsc.{GenericRunnerSettings, ConsoleWriter, NewLinePrintWriter} |
13 import scala.tools.nsc.interpreter.{IMain, Results} |
13 import scala.tools.nsc.interpreter.{IMain, Results} |
14 |
14 import scala.tools.nsc.interpreter.shell.ReplReporterImpl |
15 |
15 |
16 object Scala |
16 object Scala |
17 { |
17 { |
18 /** registered functions **/ |
18 /** registered functions **/ |
19 |
19 |
94 |
94 |
95 def interpreter( |
95 def interpreter( |
96 print_writer: PrintWriter = default_print_writer, |
96 print_writer: PrintWriter = default_print_writer, |
97 class_loader: ClassLoader = null): IMain = |
97 class_loader: ClassLoader = null): IMain = |
98 { |
98 { |
99 new IMain(settings, print_writer) |
99 new IMain(settings, new ReplReporterImpl(settings, print_writer)) |
100 { |
100 { |
101 override def parentClassLoader: ClassLoader = |
101 override def parentClassLoader: ClassLoader = |
102 if (class_loader == null) super.parentClassLoader |
102 if (class_loader == null) super.parentClassLoader |
103 else class_loader |
103 else class_loader |
104 } |
104 } |