diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-12 11:58:32 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-12 11:58:32 +0100 |
| commit | d1794c15f5a5743763adeb8f8e248f9ca5f53869 (patch) | |
| tree | 0e86cc90d49b8e81b49f13ee7ae71647066ceced /src/dotty/tools/dotc/core/pickling/UnPickler.scala | |
| parent | 54400119585ca41c28baae1cbfbeefb76b5c912a (diff) | |
| download | dotty-d1794c15f5a5743763adeb8f8e248f9ca5f53869.tar.gz dotty-d1794c15f5a5743763adeb8f8e248f9ca5f53869.tar.bz2 dotty-d1794c15f5a5743763adeb8f8e248f9ca5f53869.zip | |
Revising of Denotation#exists
exists now is only false for NoDenotation. A denotation with NoType as info counts as existing, but it is not accessible from any prefix.
Also, renamed binary exists, forall or existsPart, forallParts to avoid ambiguities.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/UnPickler.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/pickling/UnPickler.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/pickling/UnPickler.scala b/src/dotty/tools/dotc/core/pickling/UnPickler.scala index 27cc10ee6..db3370601 100644 --- a/src/dotty/tools/dotc/core/pickling/UnPickler.scala +++ b/src/dotty/tools/dotc/core/pickling/UnPickler.scala @@ -454,7 +454,7 @@ class UnPickler(bytes: Array[Byte], classRoot: ClassDenotation, moduleRoot: Clas } val tp1 = elim(tp) val isBound = (tp: Type) => boundSyms contains tp.typeSymbol - if (tp1 exists isBound) { + if (tp1 existsPart isBound) { val tp2 = tp1.subst(boundSyms, boundSyms map (_ => defn.AnyType)) cctx.warning(s"""failure to eliminate existential |original type : $tp forSome {${cctx.showDcls(boundSyms, "; ")}} |