Changes between Version 24 and Version 25 of StrictPragma


Ignore:
Timestamp:
Nov 13, 2015 4:03:23 PM (4 years ago)
Author:
adamse
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrictPragma

    v24 v25  
    246246=== Interaction with irrefutable patterns ===
    247247
    248 With `-XStrict` the `~` is used to recover ordinary patterns, to build an irrefutable pattern  `~~` is used.
     248With `-XStrict` the `~` is used to recover ordinary patterns, to build an irrefutable pattern  `~(~pat)` is used.
    249249
    250250== Implementation notes ==