# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1319200570 14400
# Node ID e1f4ac9ca34bdb3306423f2044748e5651ca78f1
# Parent  7d2aa0ddc53138b0e11708b765680d02d545321c
Note a parsing restriction in the manual

diff -r 7d2aa0ddc531 -r e1f4ac9ca34b doc/manual.tex
--- 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}