diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-11-02 18:30:39 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-11-05 13:57:37 +0100 |
| commit | a0fbe09d945b6b6ef1279e7d6f828bdd3b93cce2 (patch) | |
| tree | 01d1ba063b9842dc519e5ae33ba9de224758db7a /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | c16c7f6009c5c7255cf3768585c1115a82b5a38c (diff) | |
| download | dotty-a0fbe09d945b6b6ef1279e7d6f828bdd3b93cce2.tar.gz dotty-a0fbe09d945b6b6ef1279e7d6f828bdd3b93cce2.tar.bz2 dotty-a0fbe09d945b6b6ef1279e7d6f828bdd3b93cce2.zip | |
Add migration warnings
The idea is that whenever Dotty detects a migration problem under -language:Scala2,
it should issue a migration warning, so we know what needs to be rewritten.
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index 05fefc8b4..62b071372 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -18,6 +18,7 @@ class ScalaSettings extends Settings.SettingGroup { */ val dependencyfile = StringSetting("-dependencyfile", "file", "Set dependency tracking file.", ".scala_dependencies") val deprecation = BooleanSetting("-deprecation", "Emit warning and location for usages of deprecated APIs.") + val migration = BooleanSetting("-migration", "Emit warning and location for migration issues from Scala 2.") val encoding = StringSetting("-encoding", "encoding", "Specify character encoding used by source files.", Properties.sourceEncoding) val explaintypes = BooleanSetting("-explaintypes", "Explain type errors in more detail.") val feature = BooleanSetting("-feature", "Emit warning and location for usages of features that should be imported explicitly.") |