Add option to do outline typing, use this in PipelineMain

Author: retronym

src/compiler/scala/tools/nsc/PipelineMain.scala

@@ -85,14 +85,35 @@ class PipelineMainClass {
       reporter.echo(command.usageMsg)
       reporter.echo(compiler.pluginOptionsHelp)
     } else {
-      val run = new compiler.Run()
-      run compile command.files
+      println("outline typing")
+      command.settings.Youtline.value = true
+      command.settings.stopAfter.value = List("pickler")
+      val run1 = new compiler.Run()
+      run1 compile command.files
       reporter.finish()
+      if (!reporter.hasErrors) {
+        println("regular compilation")
+        command.settings.Youtline.value = false
+        command.settings.stopAfter.value = Nil
+        val pickles = run1.symData
+        val compiler2 = newCompiler(command.settings)
+        val run2 = new compiler2.Run()
+        run2 compile command.files
+        compiler2.reporter.finish()
+      }
+
     }
   }
 
 
-  def main(args: Array[String]): Unit = System.exit(if (process(args)) 0 else 1)
+  def main(args: Array[String]): Unit = {
+    for (i <- 1 to 10) {
+      val result = process(args)
+      if (!result)
+        System.exit(1)
+    }
+    System.exit(0)
+  }
 }
 
 object PipelineMain extends PipelineMainClass {}

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

@@ -234,6 +234,7 @@ trait ScalaSettings extends AbsScalaSettings
   val YcacheMacroClassLoader   = CachePolicy.setting("macro", "macros")
   val YpartialUnification = BooleanSetting ("-Ypartial-unification", "Enable partial unification in type constructor inference")
   val Yvirtpatmat     = BooleanSetting    ("-Yvirtpatmat", "Enable pattern matcher virtualization")
+  val Youtline        = BooleanSetting    ("-Youtline", "Don't compile method bodies. Use together with `-Ystop-afer:pickler to generate the pickled signatures for all source files.")
 
   val exposeEmptyPackage = BooleanSetting ("-Yexpose-empty-package", "Internal only: expose the empty package.").internalOnly()
   val Ydelambdafy        = ChoiceSetting  ("-Ydelambdafy", "strategy", "Strategy used for translating lambdas into JVM code.", List("inline", "method"), "method")

src/compiler/scala/tools/nsc/typechecker/Typers.scala

@@ -2037,8 +2037,9 @@ trait Typers extends Adaptations with Tags with TypersTracking with PatternTyper
     }
 
     // use typedValDef instead. this version is called after creating a new context for the ValDef
-    private def typedValDefImpl(vdef: ValDef) = {
+    private def typedValDefImpl(vdef: ValDef): ValDef = {
       val sym = vdef.symbol.initialize
+
       val typedMods = if (nme.isLocalName(sym.name) && sym.isPrivateThis && !vdef.mods.isPrivateLocal) {
         // scala/bug#10009 This tree has been given a field symbol by `enterGetterSetter`, patch up the
         // modifiers accordingly so that we can survive resetAttrs and retypechecking.
@@ -5830,7 +5831,7 @@ trait Typers extends Adaptations with Tags with TypersTracking with PatternTyper
     final def transformedOrTyped(tree: Tree, mode: Mode, pt: Type): Tree = {
       lookupTransformed(tree) match {
         case Some(tree1) => tree1
-        case _           => typed(tree, mode, pt)
+        case _           => if (settings.Youtline.value) EmptyTree else typed(tree, mode, pt)
       }
     }
     final def lookupTransformed(tree: Tree): Option[Tree] =