From d540d32e9055dc8cc63c89c7096dfe68fe342ad3 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 15 Apr 2004 16:35:21 +0000 Subject: *** empty log message *** --- doc/reference/ReferencePart.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'doc') 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} -- cgit v1.2.3