diff options
author | Martin Odersky <odersky@gmail.com> | 2006-01-09 18:04:20 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-01-09 18:04:20 +0000 |
commit | 58175ab80908012e6eb231dbddd42e13069c5877 (patch) | |
tree | d914ec5e020d673798d1ceddb1b885607767600c /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
parent | 331d8814dc1f94543138682a4a209e3bf754dd42 (diff) | |
download | scala-58175ab80908012e6eb231dbddd42e13069c5877.tar.gz scala-58175ab80908012e6eb231dbddd42e13069c5877.tar.bz2 scala-58175ab80908012e6eb231dbddd42e13069c5877.zip |
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 076ec2479a..40655c81be 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -538,7 +538,10 @@ mixin class Typers requires Analyzer { if (!psym.isClass) error(parent.pos, "class type expected") else if (!isFirst && !psym.isMixin) - error(parent.pos, ""+psym+" is not declared to be a mixin class") + if (settings.migrate.value) + error(parent.pos, migrateMsg+psym+" needs to be a declared as a mixin class") + else + error(parent.pos, ""+psym+" is not declared to be a mixin class") else if (psym.hasFlag(FINAL)) error(parent.pos, "illegal inheritance from final class") else if (psym.isSealed && !phase.erasedTypes) { |