diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-11-17 18:56:16 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-11-17 18:56:16 +0100 |
| commit | 5637720ea8769faa86b2cfedbfe9fe705e3f5b28 (patch) | |
| tree | e8e2c8fee9df05fa10d54e78464532122e214dec /src/dotty/tools/dotc/printing | |
| parent | fe20b9064fca765a38345a09aa484bfb537aa3c0 (diff) | |
| download | dotty-5637720ea8769faa86b2cfedbfe9fe705e3f5b28.tar.gz dotty-5637720ea8769faa86b2cfedbfe9fe705e3f5b28.tar.bz2 dotty-5637720ea8769faa86b2cfedbfe9fe705e3f5b28.zip | |
Address reviewer's comments.
Diffstat (limited to 'src/dotty/tools/dotc/printing')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 4818c6eee..279dda9a1 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -148,6 +148,10 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { case JavaArrayType(elemtp) => return toText(elemtp) ~ "[]" case tp: AnnotatedType if homogenizedView => + // Positions of annotations in types are not serialized + // (they don;t need to because we keep the original type tree with + // the original annotation anyway. Therefore, there will always be + // one version of the annotation tree that has the correct positions). withoutPos(super.toText(tp)) case tp: SelectionProto => return "?{ " ~ toText(tp.name) ~ (" " provided !tp.name.decode.last.isLetterOrDigit) ~ |