diff options
| author | Adriaan Moors <adriaan@lightbend.com> | 2016-10-18 10:41:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-18 10:41:48 -0700 |
| commit | af41493ea423fa49e26c3e57ad5b4adc5f20237d (patch) | |
| tree | 55193808f0540136908729a678338c16a4b1f936 /src/compiler/scala | |
| parent | 9f7c26e8ccc809c48484921f87b52eb56b978dcf (diff) | |
| parent | 9e2b10fc02a60a8e24c38a8f0e52b5196c47145f (diff) | |
| download | scala-af41493ea423fa49e26c3e57ad5b4adc5f20237d.tar.gz scala-af41493ea423fa49e26c3e57ad5b4adc5f20237d.tar.bz2 scala-af41493ea423fa49e26c3e57ad5b4adc5f20237d.zip | |
Merge pull request #5343 from milessabin/topic/si-2712-backport
SI-2712 Add support for higher order unification
Diffstat (limited to 'src/compiler/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 1817cfa25a..8e5c064e1f 100644 --- a/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala +++ b/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala @@ -218,6 +218,7 @@ trait ScalaSettings extends AbsScalaSettings val inferByName = BooleanSetting ("-Yinfer-by-name", "Allow inference of by-name types. This is a temporary option to ease transition. See SI-7899.").withDeprecationMessage(removalIn212) val YclasspathImpl = ChoiceSetting ("-YclasspathImpl", "implementation", "Choose classpath scanning method.", List(ClassPathRepresentationType.Recursive, ClassPathRepresentationType.Flat), ClassPathRepresentationType.Recursive) val YdisableFlatCpCaching = BooleanSetting ("-YdisableFlatCpCaching", "Do not cache flat classpath representation of classpath elements from jars across compiler instances.") + val YpartialUnification = BooleanSetting ("-Ypartial-unification", "Enable partial unification in type constructor inference") val YvirtClasses = false // too embryonic to even expose as a -Y //BooleanSetting ("-Yvirtual-classes", "Support virtual classes") val YdisableUnreachablePrevention = BooleanSetting("-Ydisable-unreachable-prevention", "Disable the prevention of unreachable blocks in code generation.") |