Fix FromSymbol.classDef

Author: odersky

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -251,8 +251,10 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
         val constr = firstParent.decl(nme.CONSTRUCTOR).suchThat(constr => isApplicable(constr.info))
         New(firstParent, constr.symbol.asTerm, superArgs)
       }
-    val parents = superRef :: otherParents.map(TypeTree(_))
+      ClassDefWithParents(cls, constr, superRef :: otherParents.map(TypeTree(_)), body)
+    }
 
+  def ClassDefWithParents(cls: ClassSymbol, constr: DefDef, parents: List[Tree], body: List[Tree])(implicit ctx: Context): TypeDef = {
     val selfType =
       if (cls.classInfo.selfInfo ne NoType) ValDef(ctx.newSelfSym(cls))
       else EmptyValDef

compiler/src/dotty/tools/dotc/tastyreflect/FromSymbol.scala

@@ -23,9 +23,9 @@ object FromSymbol {
     val constrSym = cls.unforcedDecls.find(_.isPrimaryConstructor)
     if (!constrSym.exists) return tpd.EmptyTree
     val constr = tpd.DefDef(constrSym.asTerm)
+    val parents = cls.classParents.map(tpd.TypeTree(_))
     val body = cls.unforcedDecls.filter(!_.isPrimaryConstructor).map(s => definition(s))
-    val superArgs = Nil // TODO
-    tpd.ClassDef(cls, constr, body, superArgs)
+    tpd.ClassDefWithParents(cls, constr, parents, body)
   }
 
   def typeDef(sym: TypeSymbol)(implicit ctx: Context): tpd.TypeDef = tpd.TypeDef(sym)

compiler/test/dotc/run-from-tasty.blacklist

@@ -1,5 +1,2 @@
 # Closure type miss match
 eff-dependent.scala
-
-# superArgs missing (see TODO in tastyreflect/FromSymbol.scala)
-reduce-projection.scala