diff options
| author | Paul Phillips <paulp@improving.org> | 2013-04-29 14:35:25 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-04-29 15:55:43 -0700 |
| commit | d4192272d1546dcf842b3df8f79ac29ccab2faea (patch) | |
| tree | d71fb3154b403a24fe225df13a06346681609317 /src/compiler/scala/tools/nsc/Global.scala | |
| parent | e44effe729d89ff6579409b80eecc53b53a6a8e9 (diff) | |
| download | scala-d4192272d1546dcf842b3df8f79ac29ccab2faea.tar.gz scala-d4192272d1546dcf842b3df8f79ac29ccab2faea.tar.bz2 scala-d4192272d1546dcf842b3df8f79ac29ccab2faea.zip | |
Route -explaintypes through reporter.
Sick of seeing Console printlns during partest runs.
You should not print anything to Console.{out,err} if
it's ever going to happen outside developerland.
Diffstat (limited to 'src/compiler/scala/tools/nsc/Global.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index d0b59b53cc..e294d5a6c9 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -218,7 +218,7 @@ class Global(var currentSettings: Settings, var reporter: Reporter) // not deprecated yet, but a method called "error" imported into // nearly every trait really must go. For now using globalError. def error(msg: String) = globalError(msg) - def inform(msg: String) = reporter.echo(msg) + override def inform(msg: String) = reporter.echo(msg) override def globalError(msg: String) = reporter.error(NoPosition, msg) override def warning(msg: String) = if (settings.fatalWarnings) globalError(msg) |