diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-22 12:16:36 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-22 12:16:36 +0000 |
commit | 39f2357f9c861be97adb468ab6b4a323f6265afa (patch) | |
tree | fba21e7acabf437948b9854198a4166b4f36b0f8 | |
parent | 01e872f8c871b828526a563f35ff9aa4b70957fe (diff) | |
download | scala-39f2357f9c861be97adb468ab6b4a323f6265afa.tar.gz scala-39f2357f9c861be97adb468ab6b4a323f6265afa.tar.bz2 scala-39f2357f9c861be97adb468ab6b4a323f6265afa.zip |
Accidentally deleted some settings somehow.
-rw-r--r-- | src/compiler/scala/tools/nsc/Settings.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/Settings.scala b/src/compiler/scala/tools/nsc/Settings.scala index a7da666807..7fee784d83 100644 --- a/src/compiler/scala/tools/nsc/Settings.scala +++ b/src/compiler/scala/tools/nsc/Settings.scala @@ -141,6 +141,20 @@ class Settings(error: String => Unit) { val noimports = BooleanSetting ("-Yno-imports", "Compile without any implicit imports") val nopredefs = BooleanSetting ("-Yno-predefs", "Compile without any implicit predefined values") val script = StringSetting ("-Xscript", "object", "Compile as a script, wrapping the code into object.main()", "").hideToIDE + + val Xshowtrees = BooleanSetting ("-Yshow-trees", "Show detailed trees when used in connection with -print:phase").hideToIDE + val skip = PhasesSetting ("-Yskip", "Skip") + val Xsqueeze = ChoiceSetting ("-Ysqueeze", "if on, creates compact code in matching", List("on","on","off"), "on") + val statistics = BooleanSetting ("-Ystatistics", "Print compiler statistics").hideToIDE + val stop = PhasesSetting ("-Ystop", "Stop after phase") + val Xwarndeadcode = BooleanSetting ("-Ywarn-dead-code", "Emit warnings for dead code") + + val Xcasetags = ChoiceSetting("-Ycasetags", "test integer tags for case classes", List("on","off"), + /*default*/"off") + + val selfInAnnots = BooleanSetting ("-Yself-in-annots", "Include a \"self\" identifier inside of annotations") + + /** A list of all settings */ def allSettings: List[Setting] = allsettings.reverse /** Disable a setting */ |