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/tools/dotc/config/ScalaSettings.scala | |
| 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/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 2 |
1 files changed, 1 insertions, 1 deletions
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" |