diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-04-09 12:43:29 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-04-09 13:15:24 +0200 |
| commit | a2a12a263467df11fb7ba8a1cc18ec9984530d94 (patch) | |
| tree | b22c34ff6d6a4d06486d9271f28d937a63eebcc7 /src/dotty | |
| parent | b574ac0727ab704d0cbb037047021e791e0c70d1 (diff) | |
| download | dotty-a2a12a263467df11fb7ba8a1cc18ec9984530d94.tar.gz dotty-a2a12a263467df11fb7ba8a1cc18ec9984530d94.tar.bz2 dotty-a2a12a263467df11fb7ba8a1cc18ec9984530d94.zip | |
Rename -YnoDoubleBindings to -Yno-double-bindings
This aligns with the "-" instead of CamelCase convention for
the other command line options.
Also, enable -Yno-double-bindings for dotc_core.
Diffstat (limited to 'src/dotty')
| -rw-r--r-- | src/dotty/tools/dotc/ast/TreeTypeMap.scala | 2 | ||||
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/TreeTypeMap.scala b/src/dotty/tools/dotc/ast/TreeTypeMap.scala index d2ec3ea10..ec66fcdb8 100644 --- a/src/dotty/tools/dotc/ast/TreeTypeMap.scala +++ b/src/dotty/tools/dotc/ast/TreeTypeMap.scala @@ -30,7 +30,7 @@ import dotty.tools.dotc.transform.SymUtils._ * have two substitutons S1 = [outer#1 := outer#3], S2 = [inner#2 := inner#4] where * hashtags precede symbol ids. If we do S1 first, we get outer#2.inner#3. If we then * do S2 we get outer#2.inner#4. But that means that the named type outer#2.inner - * gets two different denotations in the same period. Hence, if -YnoDoubleBindings is + * gets two different denotations in the same period. Hence, if -Yno-double-bindings is * set, we would get a data race assertion error. */ final class TreeTypeMap( diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index 1c1f3e494..0d4034db2 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -170,7 +170,7 @@ class ScalaSettings extends Settings.SettingGroup { val Ytyperdebug = BooleanSetting("-Ytyper-debug", "Trace all type assignments.") val Ypatmatdebug = BooleanSetting("-Ypatmat-debug", "Trace pattern matching translation.") val Yexplainlowlevel = BooleanSetting("-Yexplain-lowlevel", "When explaining type errors, show types at a lower level.") - val YnoDoubleBindings = BooleanSetting("-YnoDoubleBindings", "Assert no namedtype is bound twice (should be enabled only if program is error-free).") + val YnoDoubleBindings = BooleanSetting("-Yno-double-bindings", "Assert no namedtype is bound twice (should be enabled only if program is error-free).") val optimise = BooleanSetting("-optimise", "Generates faster bytecode by applying optimisations to the program") withAbbreviation "-optimize" |