diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:23:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:23:51 -0400 |
| commit | 6d9522c001574db729262073cadb96c75f0f7c44 (patch) | |
| tree | 2f3cb126d919b552b7cabefbc88be1abcbd45689 /doc | |
| parent | 979ad6b8246e50d5c1f685afd0bd41ec0298696b (diff) | |
Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 3d73b948..eaf7aab5 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -555,7 +555,7 @@ $$\begin{array}{rrcll} &&& \_ & \textrm{wildcard} \\ &&& (e) & \textrm{explicit precedence} \\ \\ - \textrm{Local declarations} & ed &::=& \cd{val} \; x : \tau = e & \textrm{non-recursive value} \\ + \textrm{Local declarations} & ed &::=& \cd{val} \; p = e & \textrm{non-recursive value} \\ &&& \cd{val} \; \cd{rec} \; (x : \tau = e \; \cd{and})^+ & \textrm{mutually recursive values} \\ \end{array}$$ @@ -566,7 +566,7 @@ $$\begin{array}{rrcll} \textrm{Declarations} & d &::=& \mt{con} \; x :: \kappa = c & \textrm{constructor synonym} \\ &&& \mt{datatype} \; x \; x^* = dc\mid^+ & \textrm{algebraic datatype definition} \\ &&& \mt{datatype} \; x = \mt{datatype} \; M.x & \textrm{algebraic datatype import} \\ - &&& \mt{val} \; x : \tau = e & \textrm{value} \\ + &&& \mt{val} \; p = e & \textrm{value} \\ &&& \mt{val} \; \cd{rec} \; (x : \tau = e \; \mt{and})^+ & \textrm{mutually recursive values} \\ &&& \mt{structure} \; X : S = M & \textrm{module definition} \\ &&& \mt{signature} \; X = S & \textrm{signature definition} \\ |