summaryrefslogtreecommitdiff
path: root/src/repl
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan@lightbend.com>2016-08-11 11:33:44 -0700
committerGitHub <noreply@github.com>2016-08-11 11:33:44 -0700
commit43d22678c251c183ca47e1bf99b41a55d74914b4 (patch)
treed1f62184b82d30db113913e3e68c701dc19359ff /src/repl
parent04d4b634d816e19d8430175eb33d02d97261dd10 (diff)
parent7548d2265361ec605b67aaae50ef6504937da68c (diff)
downloadscala-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.scala5
-rw-r--r--src/repl/scala/tools/nsc/interpreter/ReplReporter.scala3
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'"
+
}