diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-27 13:48:57 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-27 13:54:37 +0200 |
commit | 2e64b73a1da104363fa948e6969990e893eb2bed (patch) | |
tree | 3dd52600b046f5d0e240ddc763542dd7b8d1b26c /src/compiler | |
parent | 65340ed4ad2ee9c9befb60e3e69023930dcb280c (diff) | |
download | scala-2e64b73a1da104363fa948e6969990e893eb2bed.tar.gz scala-2e64b73a1da104363fa948e6969990e893eb2bed.tar.bz2 scala-2e64b73a1da104363fa948e6969990e893eb2bed.zip |
[vpm] smarter type inference on when virtPatmat is on
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/reflect/internal/Types.scala | 2 | ||||
-rw-r--r-- | src/compiler/scala/reflect/internal/settings/MutableSettings.scala | 1 | ||||
-rw-r--r-- | src/compiler/scala/reflect/runtime/Settings.scala | 1 |
3 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/scala/reflect/internal/Types.scala b/src/compiler/scala/reflect/internal/Types.scala index 3ce8829af6..bb9549deba 100644 --- a/src/compiler/scala/reflect/internal/Types.scala +++ b/src/compiler/scala/reflect/internal/Types.scala @@ -97,7 +97,7 @@ trait Types extends api.Types { self: SymbolTable => */ private final val propagateParameterBoundsToTypeVars = sys.props contains "scalac.debug.prop-constraints" - protected val enableTypeVarExperimentals = settings.Xexperimental.value + protected val enableTypeVarExperimentals = settings.Xexperimental.value || settings.YvirtPatmat.value /** Empty immutable maps to avoid allocations. */ private val emptySymMap = immutable.Map[Symbol, Symbol]() diff --git a/src/compiler/scala/reflect/internal/settings/MutableSettings.scala b/src/compiler/scala/reflect/internal/settings/MutableSettings.scala index 0092f73fe3..b556c33aba 100644 --- a/src/compiler/scala/reflect/internal/settings/MutableSettings.scala +++ b/src/compiler/scala/reflect/internal/settings/MutableSettings.scala @@ -43,4 +43,5 @@ abstract class MutableSettings extends AbsSettings { def Yrecursion: IntSetting def maxClassfileName: IntSetting def Xexperimental: BooleanSetting + def YvirtPatmat: BooleanSetting }
\ No newline at end of file diff --git a/src/compiler/scala/reflect/runtime/Settings.scala b/src/compiler/scala/reflect/runtime/Settings.scala index 8b475da0d3..27e90c94bd 100644 --- a/src/compiler/scala/reflect/runtime/Settings.scala +++ b/src/compiler/scala/reflect/runtime/Settings.scala @@ -34,4 +34,5 @@ class Settings extends internal.settings.MutableSettings { val maxClassfileName = new IntSetting(255) val Xexperimental = new BooleanSetting(false) val deepCloning = new BooleanSetting (false) + val YvirtPatmat = new BooleanSetting(false) } |