src/Pure/System/scala.scala
changeset 73136 ca17e9ebfdf1
parent 72763 3cc73d00553c
child 73228 0575cfd2ecfc
equal deleted inserted replaced
73135:76bdfde8a579 73136:ca17e9ebfdf1
     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         }