diff options
author | Vlad Ureche <vlad.ureche@gmail.com> | 2012-07-18 20:46:03 +0200 |
---|---|---|
committer | Vlad Ureche <vlad.ureche@gmail.com> | 2012-07-18 20:46:03 +0200 |
commit | 0018f9b3649f14d16debc966e7da4e54a9a0a4c3 (patch) | |
tree | 1c59af61808405079520fcf0ba10f2e5f7c686f7 | |
parent | dac4e8f543a8e2e3bacf447d327fc8a7e99acb49 (diff) | |
download | scala-0018f9b3649f14d16debc966e7da4e54a9a0a4c3.tar.gz scala-0018f9b3649f14d16debc966e7da4e54a9a0a4c3.tar.bz2 scala-0018f9b3649f14d16debc966e7da4e54a9a0a4c3.zip |
Scaladoc: Typers change
as requested by @adriaanm on pull request #925
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 2d277603ee..a2ada0bf24 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1972,9 +1972,7 @@ trait Typers extends Modes with Adaptations with Tags { case SilentResultValue(tpt) => val alias = enclClass.newAliasType(name.toTypeName, useCase.pos) val tparams = cloneSymbolsAtOwner(tpt.tpe.typeSymbol.typeParams, alias) - /* Unless we treat no-tparams usecases differently they blow up in typeFun - * def typeFun = PolyType(tparams, tpe) // <- which asserts (!tparams.isEmpty) */ - val newInfo = if (tparams.isEmpty) tpt.tpe else typeFun(tparams, appliedType(tpt.tpe, tparams map (_.tpe))) + val newInfo = genPolyType(tparams, appliedType(tpt.tpe, tparams map (_.tpe))) alias setInfo newInfo context.scope.enter(alias) case _ => |