diff options
author | Martin Odersky <odersky@gmail.com> | 2008-02-22 11:32:42 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-02-22 11:32:42 +0000 |
commit | 07c5d167ad0cde416217f19d3ecb342054a507a0 (patch) | |
tree | 972d133cb85a1d224caea92d00d1507fccbecfa0 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
parent | fb914227c50c4175ef1603b99ae4bc05839b4e51 (diff) | |
download | scala-07c5d167ad0cde416217f19d3ecb342054a507a0.tar.gz scala-07c5d167ad0cde416217f19d3ecb342054a507a0.tar.bz2 scala-07c5d167ad0cde416217f19d3ecb342054a507a0.zip |
allow value overrides in traits; check variance...
allow value overrides in traits; check variances in existential types
(see #528)
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
-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 806698dd65..ac7a40ba4f 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2252,9 +2252,9 @@ trait Typers { self: Analyzer => } else { if (!lhs1.tpe.isError) { //println(lhs1+" = "+rhs)//DEBUG - error(tree.pos, "assignment to "+ - (if ((varsym ne null) && varsym.isValue) "immutable value" - else "non variable")) + error(tree.pos, + if ((varsym ne null) && varsym.isValue) "reassignment to val" + else "assignment to non variable") } setError(tree) } |