diff options
author | Lukas Rytz <lukas.rytz@gmail.com> | 2014-08-22 14:55:08 +0200 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@gmail.com> | 2014-09-02 11:30:21 +0200 |
commit | b562d965dc30bb1fdd9433a6675bfe8e38b8c667 (patch) | |
tree | 3bc0dcdc6608d939d6b67fd35a2b2d16930c6ce6 /src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala | |
parent | 0a6dd09d7585448d0c66835a2d2618eb12a47786 (diff) | |
download | scala-b562d965dc30bb1fdd9433a6675bfe8e38b8c667.tar.gz scala-b562d965dc30bb1fdd9433a6675bfe8e38b8c667.tar.bz2 scala-b562d965dc30bb1fdd9433a6675bfe8e38b8c667.zip |
-Ystatistics accepts a list of phases, cleanups in MultiChoiceSetting
MultiChoiceSetting and Xlint with its deprecated aliases is now a bit
simpler, but there's still room for improvement, as noted in comments.
Diffstat (limited to 'src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala b/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala index d0b8fd70ed..cd2cb183b3 100644 --- a/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala +++ b/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala @@ -29,7 +29,7 @@ trait AbsScalaSettings { def ChoiceSetting(name: String, helpArg: String, descr: String, choices: List[String], default: String): ChoiceSetting def IntSetting(name: String, descr: String, default: Int, range: Option[(Int, Int)], parser: String => Option[Int]): IntSetting def MultiStringSetting(name: String, helpArg: String, descr: String): MultiStringSetting - def MultiChoiceSetting(name: String, helpArg: String, descr: String, choices: List[String], default: Option[() => Unit])(helper: MultiChoiceSetting => String): MultiChoiceSetting + def MultiChoiceSetting(name: String, helpArg: String, descr: String, choices: List[String], descriptions: List[String], default: Option[List[String]]): MultiChoiceSetting def OutputSetting(outputDirs: OutputDirs, default: String): OutputSetting def PathSetting(name: String, descr: String, default: String): PathSetting def PhasesSetting(name: String, descr: String, default: String): PhasesSetting |