diff options
| author | Som Snytt <som.snytt@gmail.com> | 2016-07-08 18:45:11 -0700 |
|---|---|---|
| committer | Som Snytt <som.snytt@gmail.com> | 2016-07-09 00:50:16 -0700 |
| commit | 7548d2265361ec605b67aaae50ef6504937da68c (patch) | |
| tree | 4e824347293c917bd02678cba9a4d754db166306 /src/repl/scala/tools/nsc | |
| parent | 7d94d553e960322472e274669bad1c47723c2d23 (diff) | |
| download | scala-7548d2265361ec605b67aaae50ef6504937da68c.tar.gz scala-7548d2265361ec605b67aaae50ef6504937da68c.tar.bz2 scala-7548d2265361ec605b67aaae50ef6504937da68c.zip | |
SI-8829 Let reporter customize retry message
"Re-run with -deprecation" is not always appropriate.
REPL gets to customize the message. The API includes the
setting and its name, because reflect Settings do not
have names. (!)
Diffstat (limited to 'src/repl/scala/tools/nsc')
| -rw-r--r-- | src/repl/scala/tools/nsc/interpreter/ReplReporter.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/repl/scala/tools/nsc/interpreter/ReplReporter.scala b/src/repl/scala/tools/nsc/interpreter/ReplReporter.scala index e6f5a4089e..3a0b69f41e 100644 --- a/src/repl/scala/tools/nsc/interpreter/ReplReporter.scala +++ b/src/repl/scala/tools/nsc/interpreter/ReplReporter.scala @@ -68,4 +68,7 @@ class ReplReporter(intp: IMain) extends ConsoleReporter(intp.settings, Console.i else super.displayPrompt() } + override def rerunWithDetails(setting: reflect.internal.settings.MutableSettings#Setting, name: String) = + s"; for details, enable `:setting $name' or `:replay $name'" + } |