diff options
author | Martin Odersky <odersky@gmail.com> | 2007-11-21 08:54:51 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-11-21 08:54:51 +0000 |
commit | 1bdf2c4ebf0a863756192d4879102710e839fec2 (patch) | |
tree | 652155d4fa1b74fabe6b6fd4908cf1204506c9dd | |
parent | c8fab9ec7d779b4adcebab6ae6294ee7be37a5d2 (diff) | |
download | scala-1bdf2c4ebf0a863756192d4879102710e839fec2.tar.gz scala-1bdf2c4ebf0a863756192d4879102710e839fec2.tar.bz2 scala-1bdf2c4ebf0a863756192d4879102710e839fec2.zip |
changed SuperAccessors for t010; reassigned to ...
changed SuperAccessors for t010; reassigned to Iulian
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala | 1 | ||||
-rw-r--r-- | test/pending/pos/t010/Presentations.scala | 10 | ||||
-rw-r--r-- | test/pending/pos/t010/PresentationsX.scala | 8 |
3 files changed, 19 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala b/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala index c8691d11a8..bf847b3a58 100644 --- a/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala +++ b/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala @@ -227,6 +227,7 @@ abstract class SuperAccessors extends transform.Transform with transform.TypingT /** Return a list of list of types of all value parameter sections. */ def allParamTypes(tpe: Type): List[List[Type]] = tpe match { + case PolyType(_, restpe) => allParamTypes(restpe) case MethodType(pts, res) => pts :: allParamTypes(res) case _ => Nil } diff --git a/test/pending/pos/t010/Presentations.scala b/test/pending/pos/t010/Presentations.scala new file mode 100644 index 0000000000..ee2d94162f --- /dev/null +++ b/test/pending/pos/t010/Presentations.scala @@ -0,0 +1,10 @@ +package pkg1 +trait Presentations { + trait ProjectImpl { + trait FileImpl + protected def lockTyper[T](f : => T) = { + if (this == null) None + else Some(f) + } + } +} diff --git a/test/pending/pos/t010/PresentationsX.scala b/test/pending/pos/t010/PresentationsX.scala new file mode 100644 index 0000000000..6d6c5bf504 --- /dev/null +++ b/test/pending/pos/t010/PresentationsX.scala @@ -0,0 +1,8 @@ +package pkg2 +trait PresentationsX extends pkg1.Presentations { + trait ProjectImpl extends super.ProjectImpl { + trait FileImpl extends super.FileImpl { + lockTyper(Console.println) + } + } +} |