diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-01 12:50:53 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:07 +0100 |
| commit | b3855424280a821601f126b6b4c6a731b72540ea (patch) | |
| tree | 49985e631a8802aa094fb6bb6fc450505e9576ad /src/dotty/tools | |
| parent | f4d46f3457a6f63bf83c6a0f2edac73b465ac929 (diff) | |
| download | dotty-b3855424280a821601f126b6b4c6a731b72540ea.tar.gz dotty-b3855424280a821601f126b6b4c6a731b72540ea.tar.bz2 dotty-b3855424280a821601f126b6b4c6a731b72540ea.zip | |
Make homogenize apply HKApplys
The pickler doesn't unpickle to HKApply, as such - we need
to print them in their applied form.
Diffstat (limited to 'src/dotty/tools')
| -rw-r--r-- | src/dotty/tools/dotc/printing/PlainPrinter.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala index 4894fa019..15c382bb0 100644 --- a/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -55,6 +55,8 @@ class PlainPrinter(_ctx: Context) extends Printer { homogenize(tp.info) case tp: LazyRef => homogenize(tp.ref) + case HKApply(tycon, args) => + tycon.dealias.appliedTo(args) case _ => tp } |