diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-19 15:15:36 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-19 15:15:46 +0100 |
| commit | 5555d0f41e6a1f215beefbc13a8bdf8d1ecc7769 (patch) | |
| tree | 33a2498840a0d2c4ac193dc27683fea65f9aeb58 /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | 712ac68f8630edf083447ac0a164023ea8b1a8c0 (diff) | |
| download | dotty-5555d0f41e6a1f215beefbc13a8bdf8d1ecc7769.tar.gz dotty-5555d0f41e6a1f215beefbc13a8bdf8d1ecc7769.tar.bz2 dotty-5555d0f41e6a1f215beefbc13a8bdf8d1ecc7769.zip | |
Some improvements to printing
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index 3b3f22406..483e163bf 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -104,6 +104,7 @@ class ScalaSettings extends Settings.SettingGroup { val noCompletion = BooleanSetting("-Yno-completion", "Disable tab-completion in the REPL.") val Xdce = BooleanSetting("-Ydead-code", "Perform dead code elimination.") val debug = BooleanSetting("-Ydebug", "Increase the quantity of debugging output.") + val debugNames = BooleanSetting("-YdebugNames", "Show name-space indicators when printing names") //val doc = BooleanSetting ("-Ydoc", "Generate documentation") val termConflict = ChoiceSetting("-Yresolve-term-conflict", "strategy", "Resolve term conflicts", List("package", "object", "error"), "error") val inline = BooleanSetting("-Yinline", "Perform inlining when possible.") |