... | ... | @@ -313,7 +313,7 @@ Note that the bang has no effect at all in this case |
|
|
### Interaction with irrefutable patterns
|
|
|
|
|
|
|
|
|
With `-XStrict` the `~` is used to recover ordinary patterns, to build an irrefutable pattern `~~` is used.
|
|
|
With `-XStrict` the `~` is used to recover ordinary patterns, to build an irrefutable pattern `~(~pat)` is used.
|
|
|
|
|
|
## Implementation notes
|
|
|
|
... | ... | |