diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-12 14:37:37 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-15 19:33:51 +0200 |
| commit | 8b55988c64ab7d777b6bf39987af6bafe070c2fb (patch) | |
| tree | f033a4db58bfab9802dbb8e8cdf5b0f693bf402d /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | 2575d11bd1a670ace8bd7e91777ea135759af51f (diff) | |
| download | dotty-8b55988c64ab7d777b6bf39987af6bafe070c2fb.tar.gz dotty-8b55988c64ab7d777b6bf39987af6bafe070c2fb.tar.bz2 dotty-8b55988c64ab7d777b6bf39987af6bafe070c2fb.zip | |
Drop original on TypeTree
The plan is to keep original type until after pickling,
and afterwards replace it with a simple TypeTree.
# Conflicts:
# src/dotty/tools/dotc/core/tasty/TreePickler.scala
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 7f88e246b..91a789aef 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -355,8 +355,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { else "/* inlined from " ~ toText(call) ~ "*/ " ~ blockText(bindings :+ body) case tpt: untpd.DerivedTypeTree => "<derived typetree watching " ~ summarized(toText(tpt.watched)) ~ ">" - case TypeTree(orig) => - if (tree.hasType) toText(tree.typeOpt) else toText(orig) + case TypeTree() => + toText(tree.typeOpt) case SingletonTypeTree(ref) => toTextLocal(ref) ~ ".type" case AndTypeTree(l, r) => |