diff options
author | amin <nada.amin@epfl.ch> | 2013-01-16 09:59:12 +0100 |
---|---|---|
committer | amin <nada.amin@epfl.ch> | 2013-01-16 09:59:12 +0100 |
commit | 8a74b7bd136f691d9d60c7dd10ddf96a45e32329 (patch) | |
tree | c9970049408b042cf44e204ba75e10f12f6b3e65 /src | |
parent | 6f3ea77870ab5e17805ef0fc338c251e87870b8c (diff) | |
download | scala-8a74b7bd136f691d9d60c7dd10ddf96a45e32329.tar.gz scala-8a74b7bd136f691d9d60c7dd10ddf96a45e32329.tar.bz2 scala-8a74b7bd136f691d9d60c7dd10ddf96a45e32329.zip |
Closes SI-6952: add correct error positions for Dynamic feature check.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index b4c5365516..2efc1df1e5 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1740,8 +1740,8 @@ trait Typers extends Modes with Adaptations with Tags { */ def validateParentClasses(parents: List[Tree], selfType: Type) { val pending = ListBuffer[AbsTypeError]() - def validateDynamicParent(parent: Symbol) = - if (parent == DynamicClass) checkFeature(parent.pos, DynamicsFeature) + def validateDynamicParent(parent: Symbol, parentPos: Position) = + if (parent == DynamicClass) checkFeature(parentPos, DynamicsFeature) def validateParentClass(parent: Tree, superclazz: Symbol) = if (!parent.isErrorTyped) { @@ -1791,7 +1791,7 @@ trait Typers extends Modes with Adaptations with Tags { if (parents exists (p => p != parent && p.tpe.typeSymbol == psym && !psym.isError)) pending += ParentInheritedTwiceError(parent, psym) - validateDynamicParent(psym) + validateDynamicParent(psym, parent.pos) } if (!parents.isEmpty && parents.forall(!_.isErrorTyped)) { |