summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/nsc/typechecker/Namers.scala
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2010-10-08 07:06:00 +0000
committerPaul Phillips <paulp@improving.org>2010-10-08 07:06:00 +0000
commit41d7f547c03f2226748a3f9683a4e50084933776 (patch)
tree9c808bd69fa1bf86e9664b1b85e3e8c50bbdd1bb /src/compiler/scala/tools/nsc/typechecker/Namers.scala
parent001e910f9774b2da00da2d56b7ba92d78a9c20ce (diff)
downloadscala-41d7f547c03f2226748a3f9683a4e50084933776.tar.gz
scala-41d7f547c03f2226748a3f9683a4e50084933776.tar.bz2
scala-41d7f547c03f2226748a3f9683a4e50084933776.zip
Fans of scala cinema who have viewed this types...
Fans of scala cinema who have viewed this types video: http://www.scala-lang.org/sites/default/files/martin_ordersky_scala_inte rnals_2009-03-04.avi may have noticed that martin entered a variety of priceless comments in the course of the lecture and never checked them in. As the self-appointed royal stenographer I have come forward to right this wrong. It being a grainy video and almost inaudible, I may well have butchered it somewhere, so review by odersky.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Namers.scala')
-rw-r--r--src/compiler/scala/tools/nsc/typechecker/Namers.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Namers.scala b/src/compiler/scala/tools/nsc/typechecker/Namers.scala
index 533793dbc4..3133449050 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Namers.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Namers.scala
@@ -1218,7 +1218,7 @@ trait Namers { self: Analyzer =>
ErrorType
}
result match {
- case PolyType(tparams, restpe) if (tparams.nonEmpty && tparams.head.owner.isTerm) =>
+ case PolyType(tparams @ (tp :: _), _) if tp.owner.isTerm =>
// ||
// Adriaan: The added condition below is quite a hack. It seems that HK type parameters is relying
// on a pass that forces all infos in the type to get everything right.