diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-30 18:45:24 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-06-01 16:05:47 +0200 |
commit | 8cab2fa15f5fbd3ee319a224cb3a8ed80158a5ee (patch) | |
tree | 6b386c690b9756edace221b1f42e807dd04aba84 /src/compiler/scala/tools/nsc/settings/ScalaSettings.scala | |
parent | 9ebd4f94b5cd97f9e7cd369c0bc69e93248f8a5b (diff) | |
download | scala-8cab2fa15f5fbd3ee319a224cb3a8ed80158a5ee.tar.gz scala-8cab2fa15f5fbd3ee319a224cb3a8ed80158a5ee.tar.bz2 scala-8cab2fa15f5fbd3ee319a224cb3a8ed80158a5ee.zip |
allow disabling patmat analyses: -Xno-patmat-analysis
Diffstat (limited to 'src/compiler/scala/tools/nsc/settings/ScalaSettings.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/settings/ScalaSettings.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala b/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala index efde2cee25..88a89d54eb 100644 --- a/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala +++ b/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala @@ -109,6 +109,7 @@ trait ScalaSettings extends AbsScalaSettings val sourceReader = StringSetting ("-Xsource-reader", "classname", "Specify a custom method for reading source files.", "") val XoldPatmat = BooleanSetting ("-Xoldpatmat", "Use the pre-2.10 pattern matcher. Otherwise, the 'virtualizing' pattern matcher is used in 2.10.") + val XnoPatmatAnalysis = BooleanSetting ("-Xno-patmat-analysis", "Don't perform exhaustivity/unreachability analysis. Also, ignore @switch annotation.") /** Compatibility stubs for options whose value name did * not previously match the option name. |