From 2e04574c4791428ed43f2fb98884361b2cd4e659 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 19 Mar 2017 22:10:42 +0100 Subject: Generalize PolyType to TypeLambda in dotty-doc --- doc-tool/src/dotty/tools/dottydoc/model/factories.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc-tool') diff --git a/doc-tool/src/dotty/tools/dottydoc/model/factories.scala b/doc-tool/src/dotty/tools/dottydoc/model/factories.scala index 6b00934d2..03f11335e 100644 --- a/doc-tool/src/dotty/tools/dottydoc/model/factories.scala +++ b/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 => -- cgit v1.2.3