diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-06 12:45:00 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:17:44 +0100 |
commit | 378b96fc15eda32d5b645aa6b02442509b209147 (patch) | |
tree | 56ad6e256e7639d9480b6e3b6d5068cb9d6c55c7 /src/dotty/tools/dotc/printing/PlainPrinter.scala | |
parent | f6d1153e193045ad4d8a1564e3c0cdb49b853a5b (diff) | |
download | dotty-378b96fc15eda32d5b645aa6b02442509b209147.tar.gz dotty-378b96fc15eda32d5b645aa6b02442509b209147.tar.bz2 dotty-378b96fc15eda32d5b645aa6b02442509b209147.zip |
Fix tasty test failures
by bringing homogenization of # $Apply projections back.
Diffstat (limited to 'src/dotty/tools/dotc/printing/PlainPrinter.scala')
-rw-r--r-- | src/dotty/tools/dotc/printing/PlainPrinter.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala index 857a32ccc..9e5ab5d8c 100644 --- a/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -4,7 +4,7 @@ package printing import core._ import Texts._, Types._, Flags._, Names._, Symbols._, NameOps._, Constants._, Denotations._ import Contexts.Context, Scopes.Scope, Denotations.Denotation, Annotations.Annotation -import StdNames.nme +import StdNames.{nme, tpnme} import ast.Trees._, ast._ import java.lang.Integer.toOctalString import config.Config.summarizeDepth @@ -49,11 +49,11 @@ class PlainPrinter(_ctx: Context) extends Printer { homogenize(tp1) & homogenize(tp2) case OrType(tp1, tp2) => homogenize(tp1) | homogenize(tp2) + case tp @ TypeRef(_, tpnme.hkApply) => + val tp1 = tp.reduceProjection + if (tp1 eq tp) tp else homogenize(tp1) case _ => tp - /*val tp1 = tp.simplifyApply - if (tp1 eq tp) tp else homogenize(tp1) - */ } else tp |