Generalize PolyType to TypeLambda in dotty-doc

Author: odersky

doc-tool/src/dotty/tools/dottydoc/model/factories.scala

@@ -106,7 +106,7 @@ object factories {
       case ci: ClassInfo =>
         typeRef(ci.cls.name.show, query = ci.typeSymbol.showFullName)
 
-      case tl: PolyType =>
+      case tl: TypeLambda =>
         expandTpe(tl.resType)
 
       case OrType(left, right) =>
@@ -127,7 +127,7 @@ object factories {
 
   def typeParams(sym: Symbol)(implicit ctx: Context): List[String] =
     sym.info match {
-      case pt: PolyType => // TODO: not sure if this case is needed anymore
+      case pt: TypeLambda => // TODO: not sure if this case is needed anymore
         pt.paramNames.map(_.show.split("\\$").last)
       case ClassInfo(_, _, _, decls, _) =>
         decls.iterator
@@ -156,7 +156,7 @@ object factories {
     constructors(sym).head
 
   def paramLists(tpe: Type)(implicit ctx: Context): List[ParamList] = tpe match {
-    case pt: PolyType =>
+    case pt: TypeLambda =>
       paramLists(pt.resultType)
 
     case mt: MethodType =>