diff options
author | Martin Odersky <odersky@gmail.com> | 2006-09-22 16:38:22 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-09-22 16:38:22 +0000 |
commit | 5656170f7cf3251ba26eaea55939e951813a154b (patch) | |
tree | 4ebacace7bd90a2bb7ea350da6f70380a9f0508a /src | |
parent | a2d886a301e317b81d5b59bb3a60b33a7be650ea (diff) | |
download | scala-5656170f7cf3251ba26eaea55939e951813a154b.tar.gz scala-5656170f7cf3251ba26eaea55939e951813a154b.tar.bz2 scala-5656170f7cf3251ba26eaea55939e951813a154b.zip |
simplified printing of refinement types -- no m...
simplified printing of refinement types -- no more override flags
adapted two check files in tests
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Symbols.scala | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Symbols.scala b/src/compiler/scala/tools/nsc/symtab/Symbols.scala index 66664a2306..1565e88a0b 100644 --- a/src/compiler/scala/tools/nsc/symtab/Symbols.scala +++ b/src/compiler/scala/tools/nsc/symtab/Symbols.scala @@ -949,10 +949,12 @@ trait Symbols requires SymbolTable { else "" /** String representation of symbol's definition */ - final def defString: String = - compose(List(flagsToString(if (settings.debug.value) flags else flags & ExplicitFlags), - keyString, - varianceString + nameString + infoString(rawInfo))) + final def defString: String = { + val f = if (settings.debug.value) flags + else if (owner.isRefinementClass) flags & ExplicitFlags & ~OVERRIDE + else flags & ExplicitFlags + compose(List(flagsToString(f), keyString, varianceString + nameString + infoString(rawInfo))) + } /** Concatenate strings separated by spaces */ private def compose(ss: List[String]): String = |