diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-09 14:06:27 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-19 10:36:32 +0200 |
commit | b34d57ce447f819f258aad02030accca3906e845 (patch) | |
tree | 9f5b6ecebf32d5a1fe622922822f0db2c3af43e8 /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
parent | d982038e00ceb02673e8a6c0f6b995f772456417 (diff) | |
download | dotty-b34d57ce447f819f258aad02030accca3906e845.tar.gz dotty-b34d57ce447f819f258aad02030accca3906e845.tar.bz2 dotty-b34d57ce447f819f258aad02030accca3906e845.zip |
Don't keep SkolemTypes in TASTY
SkolemTypes are no longer needed when Pickling because they exist only
for checking type-safety. After the typer, we can safely eliminate them.
Not having skolem types in TASTY simplifies the format and avoids having
to explain a difficult concept.
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
-rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index cf80969bf..2288fe9c0 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -179,7 +179,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { * * The body is simplified as follows * - if it is a TypeAlias, follow it - * - replace all references to of the form <skolem>.HK$i by references + * - replace all references to of the form <refined-this>.HK$i by references * without a prefix, because the latter print nicer. * */ |