Changes between Version 21 and Version 22 of Proposal/MonadOfNoReturn


Ignore:
Timestamp:
Nov 30, 2017 7:41:33 AM (2 years ago)
Author:
hvr
Comment:

Add note about implemented warning flag

Legend:

Unmodified
Added
Removed
Modified

  • Proposal/MonadOfNoReturn

    v21 v22  
    270270   default `return` and `(>>)` method implementations with non-lawful
    271271   definitions (see compatible instance definition example in previous section).
    272 
    273    This warning can be controlled via the new flag `-fwarn-mrp-compat`, and becomes part of the `-Wall` and `-Wcompat` (#11000) warning-sets, but //not// part of the default warning-set.
     272   {{{#!rbox info
     273   The warning was implemented in GHC 8.0 and is called **`-Wnoncanonical-monad-instances`** (there are variants of this warning flag for `Monoid` and `Fail`) but it is //not// included in either `-Wall` or `-Wcompat`.
     274   }}}
     275
     276
     277   This warning can be controlled via the new flag ~~`-fwarn-mrp-compat`~~ `-Wnoncanonical-monad-instances`, and becomes part of the `-Wall` and `-Wcompat` (#11000) warning-sets, but //not// part of the default warning-set.
    274278
    275279 Phase 2 ''(GHC 8.4 or even later)'':: When we're confident that the