1.1 --- a/doc-src/Ref/defining.tex	Wed Jul 06 14:39:32 1994 +0200
     1.2 +++ b/doc-src/Ref/defining.tex	Thu Jul 07 19:22:49 1994 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4      ~~$|$~~ $fun^{(\infty)}$ {\tt(} $logic$ {\tt,} \dots {\tt,} $logic$ {\tt)} \\\\
     1.5  $fun$ &=& $id$ ~~$|$~~ $var$ ~~$|$~~ {\tt(} $fun$ {\tt)} \\
     1.6      &$|$& $fun^{(\infty)}$ {\tt(} $logic$ {\tt,} \dots {\tt,} $logic$ {\tt)} \\
     1.7 -    &$|$& $fun^{(\infty)}$ {\tt::} $type$ \\
     1.8 +    &$|$& $fun^{(4)}$ {\tt::} $type$ & (4) \\
     1.9      &$|$& {\tt \%} $idts$ {\tt.} $logic$ & (0) \\\\
    1.10  $idts$ &=& $idt$ ~~$|$~~ $idt^{(1)}$ $idts$ \\\\
    1.11  $idt$ &=& $id$ ~~$|$~~ {\tt(} $idt$ {\tt)} \\
    1.12 @@ -186,11 +186,17 @@
    1.13  \begin{tabular}{rclc}
    1.14  $ty$ &=& $id$ ~~$|$~~ $var$ ~~$|$~~ {\tt(} $ty$ {\tt)} \\
    1.15    &$|$& $fun^{(\infty)}$ {\tt(} $logic$ {\tt,} \dots {\tt,} $logic$ {\tt)}\\
    1.16 -  &$|$& $ty^{(\infty)}$ {\tt::} $type$\\\\
    1.17 +  &$|$& $ty^{(4)}$ {\tt::} $type$ ~~~~~~~ (3) \\\\
    1.18  $logic$ &=& $ty$
    1.19  \end{tabular}
    1.20  \end{center}
    1.21  
    1.22 +\begin{warn}
    1.23 +  Type constraints bind very weakly. For example, \verb!x<y::nat! is normally
    1.24 +  parsed as \verb!(x<y)::nat!, unless \verb$<$ has priority of 4 or less, in
    1.25 +  which case the string is likely to be ambiguous. The correct form is
    1.26 +  \verb!x<(y::nat)!.
    1.27 +\end{warn}
    1.28  
    1.29  \subsection{Lexical matters}
    1.30  The parser does not process input strings directly.  It operates on token