diff options
author | michelou <michelou@epfl.ch> | 2007-01-19 14:33:50 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2007-01-19 14:33:50 +0000 |
commit | e97fb47f7cdc2e4075a8beae1c9da802d65d6a81 (patch) | |
tree | 4359150d22fd659c7395b0f2b5bb084806baca2d /src/compiler/scala/tools/nsc/Settings.scala | |
parent | e1d945a2ed7ad6a5bdbfc0f465ebc088a660c1d5 (diff) | |
download | scala-e97fb47f7cdc2e4075a8beae1c9da802d65d6a81.tar.gz scala-e97fb47f7cdc2e4075a8beae1c9da802d65d6a81.tar.bz2 scala-e97fb47f7cdc2e4075a8beae1c9da802d65d6a81.zip |
updated check files for cli tests
Diffstat (limited to 'src/compiler/scala/tools/nsc/Settings.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/Settings.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/Settings.scala b/src/compiler/scala/tools/nsc/Settings.scala index 129d0dcfaf..16f7acfe45 100644 --- a/src/compiler/scala/tools/nsc/Settings.scala +++ b/src/compiler/scala/tools/nsc/Settings.scala @@ -1,5 +1,5 @@ -/* NSC -- new scala compiler - * Copyright 2005-2006 LAMP/EPFL +/* NSC -- new Scala compiler + * Copyright 2005-2007 LAMP/EPFL * @author Martin Odersky */ // $Id$ @@ -132,7 +132,7 @@ class Settings(error: String => unit) { Xunapply.value = true val Xplugtypes = BooleanSetting("-Xplugtypes", "parse but ignore annotations in more locations") val Xkilloption = BooleanSetting("-Xkilloption", "optimizes option types") - val XprintOuterMatches = BooleanSetting("-XprintOuterMatches", "prints outer-checks caused by pattern matching ") + val XprintOuterMatches = BooleanSetting("-XprintOuterMatches", "prints outer-checks caused by pattern matching") /** A list of all settings */ def allSettings: List[Setting] = allsettings.reverse @@ -220,8 +220,8 @@ class Settings(error: String => unit) { List(name, value) } - /** A setting represented by a string in a given set of `choices', - * (`default' unless set) + /** A setting represented by a string in a given set of <code>choices</code>, + * (<code>default</code> unless set). */ case class ChoiceSetting(nme: String, descr: String, choices: List[String], default: String) extends Setting(nme, descr + choices.mkString(" (", ",", ")")) { |