Closed lindig closed 9 years ago
The manual presents union patterns (with curly braces) as requiring an escape slash:
<td><code>{ p1, p2, ... }</code> (union)</td> <td><code>toto.\{ml,mli\}</code></td>
Is this correct?
No, it was a typo. Thanks for the report!
The manual presents union patterns (with curly braces) as requiring an escape slash:
Is this correct?