diff options
author | Martin Odersky <odersky@gmail.com> | 2013-04-22 17:17:52 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-04-22 17:22:20 +0200 |
commit | 7bca39c57e31da15478033ac4d581705cbeb4bc9 (patch) | |
tree | 42940077a21d5d067583449ff8a2dffa7491c32a /src/dotty/tools/dotc/core/Denotations.scala | |
parent | 4a93c8c132941ff3dae9ebf2dc27b37cd4f7cdec (diff) | |
download | dotty-7bca39c57e31da15478033ac4d581705cbeb4bc9.tar.gz dotty-7bca39c57e31da15478033ac4d581705cbeb4bc9.tar.bz2 dotty-7bca39c57e31da15478033ac4d581705cbeb4bc9.zip |
Some annotations and changes prompted by the code walkthrough.
Diffstat (limited to 'src/dotty/tools/dotc/core/Denotations.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Denotations.scala | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala index 74140f028..66baeef55 100644 --- a/src/dotty/tools/dotc/core/Denotations.scala +++ b/src/dotty/tools/dotc/core/Denotations.scala @@ -74,6 +74,8 @@ object Denotations { * would have signature * * List("scala.Int".toTypeName, "scala.collection.immutable.List".toTypeName) + * + * TODO: discriminate on result type as well !!! */ type Signature = List[TypeName] @@ -85,11 +87,6 @@ object Denotations { /** A denotation is the result of resolving * a name (either simple identifier or select) during a given period. * - * Denotation has two subclasses: MultiDenotation and SingleDenotation. - * - * A SingleDenotation refers to a `symbol` and a type (`info`) that the symbol has - * when seen from the reference. - * * Denotations can be combined with `&` and `|`. * & is conjunction, | is disjunction. * |