diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-05-31 07:59:38 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-05-31 07:59:38 +0000 |
commit | aac8bba0c25aef3c2e410d1f28818c8b1fe9266f (patch) | |
tree | f734b86613821bedfb5c3aa048ada5b1c9c3f53d /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | e78dcdc4c5b920d686f69aca8e9b9670054125bb (diff) | |
download | scala-aac8bba0c25aef3c2e410d1f28818c8b1fe9266f.tar.gz scala-aac8bba0c25aef3c2e410d1f28818c8b1fe9266f.tar.bz2 scala-aac8bba0c25aef3c2e410d1f28818c8b1fe9266f.zip |
fixed bug in checkKindBounds (type parameters d...
fixed bug in checkKindBounds (type parameters defined outside the abstract type that was being checked, were not properly transformed using asSeenFrom) -- regression test included in commit
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 8aa83f3438..c16af6a066 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -206,7 +206,7 @@ abstract class RefChecks extends InfoTransform { // check overriding (abstract type --> abstract type or abstract type --> concrete type member (a type alias)) // making an abstract type member concrete is like passing a type argument - val kindErrors = typer.infer.checkKindBounds(List(other), List(memberTp)) // (1.7.2) + val kindErrors = typer.infer.checkKindBounds(List(other), List(memberTp), self, member.owner) // (1.7.2) if(!kindErrors.isEmpty) unit.error(member.pos, @@ -217,7 +217,7 @@ abstract class RefChecks extends InfoTransform { // check a type alias's RHS corresponds to its declaration // this overlaps somewhat with validateVariance if(member.isAliasType) { - val kindErrors = typer.infer.checkKindBounds(List(member), List(memberTp.normalize)) + val kindErrors = typer.infer.checkKindBounds(List(member), List(memberTp.normalize), self, member.owner) if(!kindErrors.isEmpty) unit.error(member.pos, |