diff options
author | 2009-06-23 14:05:12 -0400 | |
---|---|---|
committer | 2009-06-23 14:05:12 -0400 | |
commit | 3602f46fee1c01d173177298abd3caa58e3d946b (patch) | |
tree | e623aac5c0b1237fc0e7d16fa0749b114d18aa6e /doc/manual.tex | |
parent | c701f11b2ee105af75dbeb4baaf0f2c35bb417e2 (diff) |
Factor out common request functionality, in preparation for supporting different protocols
Diffstat (limited to 'doc/manual.tex')
-rw-r--r-- | doc/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 0964133e..22c219ad 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -394,7 +394,7 @@ A signature item $\mt{functor} \; X_1 \; (X_2 : S_1) : S_2$ is elaborated into $ An $\mt{open} \; \mt{constraints}$ declaration is implicitly inserted for the argument of every functor at the beginning of the functor body. For every declaration of the form $\mt{structure} \; X : S = \mt{struct} \ldots \mt{end}$, an $\mt{open} \; \mt{constraints} \; X$ declaration is implicitly inserted immediately afterward. -A declaration $\mt{table} \; x : \{(c = c,)^*\}$ is elaborated into $\mt{table} \; x : [(c = c,)^*]$ +A declaration $\mt{table} \; x : \{(c = c,)^*\}$ is elaborated into $\mt{table} \; x : [(c = c,)^*]$. The syntax $\mt{where} \; \mt{type}$ is an alternate form of $\mt{where} \; \mt{con}$. |