diff options
author | Martin Odersky <odersky@gmail.com> | 2007-04-13 12:48:00 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-04-13 12:48:00 +0000 |
commit | d08a0445c11684b4d401c21355d5dad9e1b0768d (patch) | |
tree | d7adee6c5cac413141ee9435280fd6b22e64f483 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | 62cb8572fa5775def3cafee568cfe39b16fc4f94 (diff) | |
download | scala-d08a0445c11684b4d401c21355d5dad9e1b0768d.tar.gz scala-d08a0445c11684b4d401c21355d5dad9e1b0768d.tar.bz2 scala-d08a0445c11684b4d401c21355d5dad9e1b0768d.zip |
changes to parser for 409/877.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 39ff15d671..f4577bac74 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -689,9 +689,11 @@ abstract class RefChecks extends InfoTransform { case TypeTree() => new TypeTraverser { def traverse(tp: Type): TypeTraverser = tp match { - case tr@TypeRef(pre, sym, _) if tr.isHigherKinded => this //@M a higher-kinded typeref doesn't have any args to check - case TypeRef(pre, sym, args) => checkBounds(pre, sym.owner, sym.typeParams, args); this - case _ => this + case TypeRef(pre, sym, args) => + if (!tp.isHigherKinded) checkBounds(pre, sym.owner, sym.typeParams, args) + this + case _ => + this } } traverse tree.tpe |