diff options
| author | Paul Phillips <paulp@improving.org> | 2012-07-11 12:00:55 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-07-11 12:00:55 -0700 |
| commit | 3e2c31fbebfd723e8a9afd28cbd0a62659466069 (patch) | |
| tree | 72081c9d7b9bd33373721b44685948280305159c | |
| parent | 30041d29545fc0596be6192882747c48f9b821e3 (diff) | |
| download | scala-3e2c31fbebfd723e8a9afd28cbd0a62659466069.tar.gz scala-3e2c31fbebfd723e8a9afd28cbd0a62659466069.tar.bz2 scala-3e2c31fbebfd723e8a9afd28cbd0a62659466069.zip | |
Removed EXISTENTIAL special case in unpickler.
| -rw-r--r-- | src/reflect/scala/reflect/internal/pickling/UnPickler.scala | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/reflect/scala/reflect/internal/pickling/UnPickler.scala b/src/reflect/scala/reflect/internal/pickling/UnPickler.scala index 4d8e932862..4411b79b97 100644 --- a/src/reflect/scala/reflect/internal/pickling/UnPickler.scala +++ b/src/reflect/scala/reflect/internal/pickling/UnPickler.scala @@ -373,12 +373,7 @@ abstract class UnPickler /*extends reflect.generic.UnPickler*/ { NullaryMethodType(restpe) case EXISTENTIALtpe => val restpe = readTypeRef() - // @PP: Where is the flag setting supposed to happen? I infer - // from the lack of flag setting in the rest of the unpickler - // that it isn't right here. See #4757 for the immediate - // motivation to fix it. - val tparams = until(end, readSymbolRef) map (_ setFlag EXISTENTIAL) - newExistentialType(tparams, restpe) + newExistentialType(until(end, readSymbolRef), restpe) case ANNOTATEDtpe => var typeRef = readNat() |