diff options
author | schinz <schinz@epfl.ch> | 2004-10-14 14:26:35 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2004-10-14 14:26:35 +0000 |
commit | 1a3fffe3c6f9da08015b0124a9dd844a1d378baa (patch) | |
tree | ede93f5432c87f06294d3cc13f1ba47967c812d5 /doc/reference/ReferencePart.tex | |
parent | 87a4e43ba8446702c69955a7b59dae997f2971da (diff) | |
download | scala-1a3fffe3c6f9da08015b0124a9dd844a1d378baa.tar.gz scala-1a3fffe3c6f9da08015b0124a9dd844a1d378baa.tar.bz2 scala-1a3fffe3c6f9da08015b0124a9dd844a1d378baa.zip |
- fixed a typo in the definition of the conform...
- fixed a typo in the definition of the conformance relation
Diffstat (limited to 'doc/reference/ReferencePart.tex')
-rw-r--r-- | doc/reference/ReferencePart.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index 1d4ddfe9f0..6f4455a71d 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -760,7 +760,7 @@ transitive relation that satisfies the following conditions. \item If $T \conforms U_i$ for $i = 1 \commadots n$ and for every binding of a type or value $x$ in $R$ there exists a member binding of $x$ in $T$ subsuming it, then $T$ conforms to the - compound type ~\lstinline@$T_1$ with $\ldots$ with $T_n$ {$R\,$}@. + compound type ~\lstinline@$U_1$ with $\ldots$ with $U_n$ {$R\,$}@. \item If $T_i \equiv T'_i$ for $i = 1 \commadots n$ and $U$ conforms to $U'$ then the method type $(T_1 \commadots T_n) U$ conforms to @@ -4297,7 +4297,7 @@ and consecutive occurrences of whitespace are replaced by a single space character \U{0020}. This behaviour can be changed to preserve all whitespace with a compiler option. \syntax\begin{lstlisting} -Attribute ::= Name Eq AttValue +Attribute ::= Name Eq AttValue AttValue ::= `"' {CharQ | CharRef} `"' | `'' {CharA | CharRef} `'' |