diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2016-08-11 11:33:44 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-11 11:33:44 -0700 |
commit | 43d22678c251c183ca47e1bf99b41a55d74914b4 (patch) | |
tree | d1f62184b82d30db113913e3e68c701dc19359ff /src/repl | |
parent | 04d4b634d816e19d8430175eb33d02d97261dd10 (diff) | |
parent | 7548d2265361ec605b67aaae50ef6504937da68c (diff) | |
download | scala-43d22678c251c183ca47e1bf99b41a55d74914b4.tar.gz scala-43d22678c251c183ca47e1bf99b41a55d74914b4.tar.bz2 scala-43d22678c251c183ca47e1bf99b41a55d74914b4.zip |
Merge pull request #5272 from som-snytt/issue/8829
SI-8829 Defaultly scala -feature -deprecation
Diffstat (limited to 'src/repl')
-rw-r--r-- | src/repl/scala/tools/nsc/MainGenericRunner.scala | 5 | ||||
-rw-r--r-- | src/repl/scala/tools/nsc/interpreter/ReplReporter.scala | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/src/repl/scala/tools/nsc/MainGenericRunner.scala b/src/repl/scala/tools/nsc/MainGenericRunner.scala index 747b684293..a09e797e07 100644 --- a/src/repl/scala/tools/nsc/MainGenericRunner.scala +++ b/src/repl/scala/tools/nsc/MainGenericRunner.scala @@ -71,6 +71,11 @@ class MainGenericRunner { Right(false) case _ => // We start the repl when no arguments are given. + // If user is agnostic about both -feature and -deprecation, turn them on. + if (settings.deprecation.isDefault && settings.feature.isDefault) { + settings.deprecation.value = true + settings.feature.value = true + } Right(new interpreter.ILoop process settings) } 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'" + } |