aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/tasty
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2017-03-17 15:08:59 +0100
committerMartin Odersky <odersky@gmail.com>2017-04-06 13:15:28 +0200
commit5fe6f54de36224974bdd3a9169f899f6df25971e (patch)
treeaf7d433304a4b35c38f1c2cccecee240353ffadc /compiler/src/dotty/tools/dotc/core/tasty
parent700e7ac6658a1d699502c94141091012d18519c4 (diff)
downloaddotty-5fe6f54de36224974bdd3a9169f899f6df25971e.tar.gz
dotty-5fe6f54de36224974bdd3a9169f899f6df25971e.tar.bz2
dotty-5fe6f54de36224974bdd3a9169f899f6df25971e.zip
Eliminate ParamType
Replace with ParamRef
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/tasty')
-rw-r--r--compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala6
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala b/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala
index 0b361f1f4..d712b913b 100644
--- a/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala
+++ b/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala
@@ -260,14 +260,14 @@ class TreePickler(pickler: TastyPickler) {
writeByte(METHODtype)
pickleMethodic(tpe.resultType, tpe.paramNames, tpe.paramInfos)
case tpe: TypeParamRef =>
- if (!pickleParamType(tpe))
+ if (!pickleParamRef(tpe))
// TODO figure out why this case arises in e.g. pickling AbstractFileReader.
ctx.typerState.constraint.entry(tpe) match {
case TypeBounds(lo, hi) if lo eq hi => pickleNewType(lo, richTypes)
case _ => assert(false, s"orphan poly parameter: $tpe")
}
case tpe: TermParamRef =>
- assert(pickleParamType(tpe), s"orphan method parameter: $tpe")
+ assert(pickleParamRef(tpe), s"orphan method parameter: $tpe")
case tpe: LazyRef =>
pickleType(tpe.ref)
}} catch {
@@ -289,7 +289,7 @@ class TreePickler(pickler: TastyPickler) {
}
}
- def pickleParamType(tpe: ParamType)(implicit ctx: Context): Boolean = {
+ def pickleParamRef(tpe: ParamRef)(implicit ctx: Context): Boolean = {
val binder = pickledTypes.get(tpe.binder)
val pickled = binder != null
if (pickled) {