List Typelevel options when -Z flag is given

Author: puffnfresh

src/compiler/scala/tools/nsc/CompilerCommand.scala

@@ -82,6 +82,7 @@ class CompilerCommand(arguments: List[String], val settings: Settings) {
   def usageMsg    = createUsageMsg("where possible standard", shouldExplain = false, _.isStandard)
   def xusageMsg   = createUsageMsg("Possible advanced", shouldExplain = true, _.isAdvanced)
   def yusageMsg   = createUsageMsg("Possible private", shouldExplain = true, _.isPrivate)
+  def zusageMsg   = createUsageMsg("Possible Typelevel", shouldExplain = true, _.isTypelevel)
 
   /** For info settings, compiler should just print a message and quit. */
   def shouldStopWithInfo = settings.isInfo
@@ -95,6 +96,7 @@ class CompilerCommand(arguments: List[String], val settings: Settings) {
     else if (help)          usageMsg + global.pluginOptionsHelp
     else if (Xhelp)         xusageMsg
     else if (Yhelp)         yusageMsg
+    else if (Zhelp)         zusageMsg
     else if (showPlugins)   global.pluginDescriptions
     else if (showPhases)    global.phaseDescriptions + (
       if (debug) "\n" + global.phaseFlagDescriptions else ""

src/compiler/scala/tools/nsc/settings/AbsSettings.scala

@@ -109,6 +109,7 @@ trait AbsSettings extends scala.reflect.internal.settings.AbsSettings {
      */
     def isAdvanced   = name match { case "-Y" => true ; case "-X" => false ; case _  => name startsWith "-X" }
     def isPrivate    = name match { case "-Y" => false ; case _  => name startsWith "-Y" }
+    def isTypelevel  = name match { case "-Z" => false ; case _  => name startsWith "-Z" }
     def isStandard   = !isAdvanced && !isPrivate
     def isForDebug   = name endsWith "-debug" // by convention, i.e. -Ytyper-debug
     def isDeprecated = deprecationMessage.isDefined

src/compiler/scala/tools/nsc/settings/ScalaSettings.scala

@@ -42,7 +42,7 @@ trait ScalaSettings extends AbsScalaSettings
   def optimiseSettings = List[BooleanSetting](inline, inlineHandlers, Xcloselim, Xdce, YconstOptimization)
 
   /** If any of these settings is enabled, the compiler should print a message and exit.  */
-  def infoSettings = List[Setting](version, help, Xhelp, Yhelp, showPlugins, showPhases, genPhaseGraph)
+  def infoSettings = List[Setting](version, help, Xhelp, Yhelp, Zhelp, showPlugins, showPhases, genPhaseGraph)
 
   /** Any -multichoice:help? Nicer if any option could report that it had help to offer. */
   private def multihelp = allSettings exists { case s: MultiChoiceSetting => s.isHelping case _ => false }
@@ -220,6 +220,7 @@ trait ScalaSettings extends AbsScalaSettings
   /**
    * -Z Typelevel settings
    */
+  val Zhelp                         = BooleanSetting("-Z", "Print a synopsis of Typelevel options.")
   val ZirrefutableGeneratorPatterns = BooleanSetting("-Zirrefutable-generator-patterns", "Treat patterns in for comprehensions as irrefutable. Do not add filter or withFilter calls.")
 
   /** Area-specific debug output.