diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:19 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:19 +0000 |
commit | 1ceff6729ae30c61ec43e615daf9ef96ea59aae7 (patch) | |
tree | 260b1717abfee5e844dc5d6d46e55298c32e01f6 /src/compiler | |
parent | db202748feb20a7d05473a63e5f2a576fcbbd710 (diff) | |
download | scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.tar.gz scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.tar.bz2 scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.zip |
fix for 513: use deep ForeachTypeTraverser in d...
fix for 513: use deep ForeachTypeTraverser in doTypeTraversal instead of
shallow one test case+checkfile for #513
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 3e85a55e61..5e8fbca81b 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -860,11 +860,8 @@ abstract class RefChecks extends InfoTransform { var result = tree def doTypeTraversal(f: (Type) => Unit) = - if (!inPattern) { - new TypeTraverser { - def traverse(tp: Type) { f(tp) } - } traverse tree.tpe - } + if (!inPattern) + new ForEachTypeTraverser(f) traverse tree.tpe // Apply RefChecks to annotations. Makes sure the annotations conform to // type bounds (bug #935), issues deprecation warnings for symbols used |