Mercurial > urweb
changeset 1579:e1f4ac9ca34b
Note a parsing restriction in the manual
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 21 Oct 2011 08:36:10 -0400 |
| parents | 7d2aa0ddc531 |
| children | ec466c1e082a |
| files | doc/manual.tex |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/doc/manual.tex Thu Oct 20 09:27:37 2011 -0400 +++ b/doc/manual.tex Fri Oct 21 08:36:10 2011 -0400 @@ -426,7 +426,7 @@ &&& M.x & \textrm{projection from a module} \\ \end{array}$$ -We include both abstraction and application for kind polymorphism, but applications are only inferred internally; they may not be written explicitly in source programs. +We include both abstraction and application for kind polymorphism, but applications are only inferred internally; they may not be written explicitly in source programs. Also, in the ``known-length type-level record'' form, in $c_1 = c_2$ terms, the parser currently only allows $c_1$ to be of the forms $X$ (as a shorthand for $\#X$) or $x$, or a natural number to stand for the corresponding field name (e.g., for tuples). Modules of the module system are described by \emph{signatures}. $$\begin{array}{rrcll}