diff options
author | Martin Odersky <odersky@gmail.com> | 2004-11-22 17:47:20 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2004-11-22 17:47:20 +0000 |
commit | 4cc5d62ce1d99424c996966e98d69c4c0bdd073c (patch) | |
tree | 1ae641562c903c70f63b03f4d8b3ba77cfc19ef8 /doc/reference/ReferencePart.tex | |
parent | 21b0b406b5340b8aed80bd73a3f33f4c5b73a782 (diff) | |
download | scala-4cc5d62ce1d99424c996966e98d69c4c0bdd073c.tar.gz scala-4cc5d62ce1d99424c996966e98d69c4c0bdd073c.tar.bz2 scala-4cc5d62ce1d99424c996966e98d69c4c0bdd073c.zip |
*** empty log message ***
Diffstat (limited to 'doc/reference/ReferencePart.tex')
-rw-r--r-- | doc/reference/ReferencePart.tex | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index e8fae6419d..848a4ba846 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -1239,7 +1239,12 @@ new Pair[Int, Int](1, 2) . Type parameters appear in type definitions, class definitions, and -function definitions. The most general form of a type parameter is +function definitions. In this section we consider only type parameter +definitions with lower bounds ~\lstinline@>: $L$@~ and upper bounds +~\lstinline@<: $U$@~ whereas a discussion of view bounds +~\lstinline@<% $U$@~ are deferred to Section~\ref{sec:view-bounds}. + +The most general form of a type parameter is ~\lstinline@$\pm t$ >: $L$ <: $U$@. Here, $L$, and $U$ are lower and upper bounds that constrain possible type arguments for the parameter, and $\pm$ is a {\em variance}, i.e.\ an optional prefix @@ -3968,7 +3973,7 @@ implicitly augmented to val x: C = B.view(new B) \end{lstlisting} -\section{View-Bounds} +\section{View-Bounds}\label{sec:view-bounds} \syntax\begin{lstlisting} TypeParam ::= id [>: Type] [<% Type] |