diff options
Diffstat (limited to 'doc/reference/ReferencePart.tex')
-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} |