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 /build.sbt | |
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 'build.sbt')
0 files changed, 0 insertions, 0 deletions