diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-06-29 09:50:27 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:06 +0200 |
| commit | 6bd7ba9ea4484ee2065dd16077cba6c26b2050d9 (patch) | |
| tree | 7b13e292f072fed02e0ba9a8a431eef92f71cf57 /src/dotty/tools/dotc/core/tasty | |
| parent | a23c1a476296a25566d7aa08de676a1217b243cb (diff) | |
| download | dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.tar.gz dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.tar.bz2 dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.zip | |
Remove refinement encoding of hk types
Remove the code that implemented the encoding of hk types
using refinements.
Drop the notion that RefinedTypes can be type parameters. This is
no longer true under the new representation.
Also, refactoring MemberBinding -> TypeParamInfo
Diffstat (limited to 'src/dotty/tools/dotc/core/tasty')
| -rw-r--r-- | src/dotty/tools/dotc/core/tasty/TreePickler.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/tasty/TreePickler.scala b/src/dotty/tools/dotc/core/tasty/TreePickler.scala index f604bff62..6a51b9642 100644 --- a/src/dotty/tools/dotc/core/tasty/TreePickler.scala +++ b/src/dotty/tools/dotc/core/tasty/TreePickler.scala @@ -257,7 +257,7 @@ class TreePickler(pickler: TastyPickler) { case tpe: TypeLambda => writeByte(LAMBDAtype) val paramNames = tpe.typeParams.map(tparam => - varianceToPrefix(tparam.memberVariance) +: tparam.memberName) + varianceToPrefix(tparam.paramVariance) +: tparam.paramName) pickleMethodic(tpe.resultType, paramNames, tpe.paramBounds) case tpe: MethodType if richTypes => writeByte(METHODtype) |