summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeoffrey Washburn <geoffrey.washburn@epfl.ch>2008-04-22 12:16:36 +0000
committerGeoffrey Washburn <geoffrey.washburn@epfl.ch>2008-04-22 12:16:36 +0000
commit39f2357f9c861be97adb468ab6b4a323f6265afa (patch)
treefba21e7acabf437948b9854198a4166b4f36b0f8
parent01e872f8c871b828526a563f35ff9aa4b70957fe (diff)
downloadscala-39f2357f9c861be97adb468ab6b4a323f6265afa.tar.gz
scala-39f2357f9c861be97adb468ab6b4a323f6265afa.tar.bz2
scala-39f2357f9c861be97adb468ab6b4a323f6265afa.zip
Accidentally deleted some settings somehow.
-rw-r--r--src/compiler/scala/tools/nsc/Settings.scala14
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 */