diff options
author | Martin Odersky <odersky@gmail.com> | 2004-04-15 16:35:21 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2004-04-15 16:35:21 +0000 |
commit | d540d32e9055dc8cc63c89c7096dfe68fe342ad3 (patch) | |
tree | c17afb7dfad08aac78fb3f028edd4239bb4b2cae /doc/reference | |
parent | ce0c39c85ef13457b30132e65ef9276645b54926 (diff) | |
download | scala-d540d32e9055dc8cc63c89c7096dfe68fe342ad3.tar.gz scala-d540d32e9055dc8cc63c89c7096dfe68fe342ad3.tar.bz2 scala-d540d32e9055dc8cc63c89c7096dfe68fe342ad3.zip |
*** empty log message ***
Diffstat (limited to 'doc/reference')
-rw-r--r-- | doc/reference/ReferencePart.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index 13f3f90c82..eb665d0167 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -279,8 +279,9 @@ A {\em stable identifier} is a path which ends in an identifier. \end{lstlisting} A singleton type is of the form \lstinline@$p$.type@, where $p$ is a -path. The type denotes the set of values consisting of -exactly the value denoted by $p$. +path pointing to a value expected to conform to +\lstinline@scala.AnyRef@. The type denotes the set of values +consisting of the value denoted by $p$ and \lstinline@null@. \subsection{Type Projection} \label{sec:type-project} |