# HG changeset patch # User wenzelm # Date 1087298576 -7200 # Node ID 74c702167226a04a334069530d5b9ae988f7cf8e # Parent 8aea9f96847f3286a9fdfed1dde0e32f03240094 num tokens; diff -r 8aea9f96847f -r 74c702167226 doc-src/Ref/syntax.tex --- a/doc-src/Ref/syntax.tex Tue Jun 15 10:47:08 2004 +0200 +++ b/doc-src/Ref/syntax.tex Tue Jun 15 13:22:56 2004 +0200 @@ -113,9 +113,9 @@ mapping $\astofpt{-}$ is derived from the productions as follows: \begin{itemize} \item Name tokens: $\astofpt{t} = \Variable s$, where $t$ is an \ndx{id}, - \ndx{var}, \ndx{tid}, \ndx{tvar}, \ndx{xnum} or \ndx{xstr} token, and $s$ - its associated string. Note that for {\tt xstr} this does not include the - quotes. + \ndx{var}, \ndx{tid}, \ndx{tvar}, \ndx{num}, \ndx{xnum} or \ndx{xstr} token, + and $s$ its associated string. Note that for {\tt xstr} this does not + include the quotes. \item Copy productions:\index{productions!copy} $\astofpt{\ldots P \ldots} = \astofpt{P}$. Here $\ldots$ stands for @@ -529,7 +529,7 @@ identifiers will become constants, bounds, frees, types or classes. As \S\ref{sec:asts} describes, former parse tree heads appear in \AST{}s as {\tt Constant}s, while the name tokens \ndx{id}, \ndx{var}, \ndx{tid}, -\ndx{tvar}, \ndx{xnum} and \ndx{xstr} become {\tt Variable}s. On the other +\ndx{tvar}, \ndx{num}, \ndx{xnum} and \ndx{xstr} become {\tt Variable}s. On the other hand, when \AST{}s generated from terms for printing, all constants and type constructors become {\tt Constant}s; see \S\ref{sec:asts}. Thus \AST{}s may contain a messy mixture of {\tt Variable}s and {\tt Constant}s. This is