Fix scala#1209: Skip redundant superclasses\supertraits.

Author: nicolasstucki

src/dotty/tools/backend/jvm/CollectSuperCalls.scala

@@ -0,0 +1,38 @@
+package dotty.tools.backend.jvm
+
+import java.io.{File => JFile}
+
+import dotty.tools.dotc.ast.tpd
+import dotty.tools.dotc.ast.tpd._
+import dotty.tools.dotc.ast.Trees
+import dotty.tools.dotc.core.Contexts.Context
+import dotty.tools.dotc.core.Decorators._
+import dotty.tools.dotc.core.Names.TypeName
+import dotty.tools.dotc.core.Symbols._
+import dotty.tools.dotc.core._
+import dotty.tools.dotc.transform.TreeTransforms.{MiniPhaseTransform, TransformerInfo}
+
+import scala.collection.mutable
+import scala.collection.mutable.ArrayBuffer
+
+class CollectSuperCalls extends MiniPhaseTransform {
+  
+  def phaseName: String = "collectSuperCalls"
+
+  override def transformSuper(tree: Super)(implicit ctx: Context, info: TransformerInfo): Tree = {
+    tree match {
+      case Trees.Super(qual: This, mix) if mix.nonEmpty =>
+        registerSuperCall(qual.symbol.asClass.classSymbol, mix)
+      case _ =>
+    }
+    super.transformSuper(tree)
+  }
+
+  private def registerSuperCall(sym: Symbol, calls: TypeName)(implicit ctx: Context) = {
+    ctx.genBCodePhase match {
+      case genBCodePhase: GenBCode =>
+        genBCodePhase.registerSuperCall(sym, calls)
+      case _ =>
+    }
+  }
+}

src/dotty/tools/backend/jvm/DottyBackendInterface.scala

@@ -34,8 +34,11 @@ import NameOps._
 import StdNames.nme
 import NameOps._
 import dotty.tools.dotc.core
+import dotty.tools.dotc.core.Names.TypeName
 
-class DottyBackendInterface(outputDirectory: AbstractFile)(implicit ctx: Context) extends BackendInterface{
+import scala.annotation.tailrec
+
+class DottyBackendInterface(outputDirectory: AbstractFile, val superCallsMap: Map[Symbol, Set[TypeName]])(implicit ctx: Context) extends BackendInterface{
   type Symbol          = Symbols.Symbol
   type Type            = Types.Type
   type Tree            = tpd.Tree
@@ -740,7 +743,12 @@ class DottyBackendInterface(outputDirectory: AbstractFile)(implicit ctx: Context
      * All interfaces implemented by a class, except for those inherited through the superclass.
      *
      */
-    def superInterfaces: List[Symbol] = decorateSymbol(sym).directlyInheritedTraits
+    def superInterfaces: List[Symbol] = {
+      val directlyInheritedTraits = decorateSymbol(sym).directlyInheritedTraits
+      val allBaseClasses = directlyInheritedTraits.iterator.flatMap(_.symbol.asClass.baseClasses.drop(1)).toSet
+      val superCalls = superCallsMap.getOrElse(sym, Set.empty)
+      directlyInheritedTraits.filter(t => !allBaseClasses(t) || superCalls(t.name))
+    }
 
     /**
      * True for module classes of package level objects. The backend will generate a mirror class for

src/dotty/tools/backend/jvm/GenBCode.scala

@@ -34,18 +34,27 @@ import tpd._
 import StdNames._
 import scala.reflect.io.{Directory, PlainDirectory, AbstractFile}
 
+import dotty.tools.dotc.core.Names.TypeName
+
 import scala.tools.nsc.backend.jvm.opt.LocalOpt
 
 class GenBCode extends Phase {
   def phaseName: String = "genBCode"
   private val entryPoints = new mutable.HashSet[Symbol]()
   def registerEntryPoint(sym: Symbol) = entryPoints += sym
 
+  private val superCallsMap = new mutable.HashMap[Symbol, Set[TypeName]]()
+  def registerSuperCall(sym: Symbol, calls: TypeName) = {
+    val old = superCallsMap.getOrElse(sym, Set.empty)
+    superCallsMap.put(sym, old + calls)
+  }
+
   def outputDir(implicit ctx: Context): AbstractFile =
     new PlainDirectory(new Directory(new JFile(ctx.settings.d.value)))
 
   def run(implicit ctx: Context): Unit = {
-    new GenBCodePipeline(entryPoints.toList, new DottyBackendInterface(outputDir)(ctx))(ctx).run(ctx.compilationUnit.tpdTree)
+    new GenBCodePipeline(entryPoints.toList,
+        new DottyBackendInterface(outputDir, superCallsMap.toMap)(ctx))(ctx).run(ctx.compilationUnit.tpdTree)
     entryPoints.clear()
   }
 }

src/dotty/tools/dotc/Compiler.scala

@@ -15,7 +15,7 @@ import transform.TreeTransforms.{TreeTransform, TreeTransformer}
 import core.DenotTransformers.DenotTransformer
 import core.Denotations.SingleDenotation
 
-import dotty.tools.backend.jvm.{LabelDefs, GenBCode}
+import dotty.tools.backend.jvm.{LabelDefs, GenBCode, CollectSuperCalls}
 import dotty.tools.backend.sjs.GenSJSIR
 
 /** The central class of the dotc compiler. The job of a compiler is to create
@@ -94,6 +94,7 @@ class Compiler {
            new CollectEntryPoints,  // Find classes with main methods
            new MoveStatics,         // Move static methods to companion classes
            new LabelDefs),          // Converts calls to labels to jumps
+      List(new CollectSuperCalls),        // TODO
       List(new GenSJSIR),           // Generate .js code
       List(new GenBCode)            // Generate JVM bytecode
     )

tests/run/redundantParents.check

@@ -0,0 +1,8 @@
+C1 super class: class java.lang.Object
+C1 interfaces: List(interface T2)
+C2 super class: class C1
+C2 interfaces: List(interface T4, interface T5)
+C3 super class: class C1
+C3 interfaces: List(interface T5)
+C4 super class: class C2
+C4 interfaces: List()

tests/run/redundantParents.scala

@@ -0,0 +1,30 @@
+
+trait T1
+trait T2 extends T1
+trait T3 extends T2
+trait T4 extends T3
+
+trait T5
+
+class C1 extends T2
+class C2 extends C1 with T4 with T5 with T1 with T2
+class C3 extends C1 with T5
+class C4 extends C2 with T5
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val c1 = (new C1).getClass
+    val c2 = (new C2).getClass
+    val c3 = (new C3).getClass
+    val c4 = (new C4).getClass
+
+    println("C1 super class: " + c1.getSuperclass)
+    println("C1 interfaces: " + c1.getInterfaces.toList)
+    println("C2 super class: " + c2.getSuperclass)
+    println("C2 interfaces: " + c2.getInterfaces.toList)
+    println("C3 super class: " + c3.getSuperclass)
+    println("C3 interfaces: " + c3.getInterfaces.toList)
+    println("C4 super class: " + c4.getSuperclass)
+    println("C4 interfaces: " + c4.getInterfaces.toList)
+  }
+}