diff options
author | Martin Odersky <odersky@gmail.com> | 2007-05-11 00:14:07 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-05-11 00:14:07 +0000 |
commit | b40e3b35cecdf7d827ce360dedf86d37767bbda8 (patch) | |
tree | 05f96e07808c2473ce32be1a30e4bff161574531 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | 48c9a76728c38b178d061bb6a282826a82cf77d3 (diff) | |
download | scala-b40e3b35cecdf7d827ce360dedf86d37767bbda8.tar.gz scala-b40e3b35cecdf7d827ce360dedf86d37767bbda8.tar.bz2 scala-b40e3b35cecdf7d827ce360dedf86d37767bbda8.zip |
Fixed several bugs, added dependent method types.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index a629f0c645..295f040aae 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -392,6 +392,7 @@ abstract class RefChecks extends InfoTransform { case NoPrefix => ; case ThisType(_) => ; case ConstantType(_) => ; + case DeBruijnIndex(_, _) => ; case SingleType(pre, sym) => validateVariance(pre, variance) case TypeRef(pre, sym, args) => |