libraries/3-release-policy.md

@@ -67,7 +67,7 @@ Changes implemented:
 
 
 - Module `Control.Monad.Fail` with class `MonadFail` and method `fail`, distinct from `Prelude`’s `fail` added.
-- Language extension `-XControl.Monad.Fail` to change desugaring to use that `fail`
+- Language extension `-XMonadFailDesugaring` to change the desugaring to use that `fail`
 - (Some warnings, off by default, are added)
 
 
@@ -117,14 +117,14 @@ Changes implemented:
 
 
 - `-XMonadFailDesugaring` is the default now
-- Explicit definitions of `Monad.fail` cause warnings now. (**TODO**: Even a canonical `fail = Fail.fail` definition?)
+- Explicit definitions of `Monad.fail` cause warnings now.
 
 
  
 
 
 
-Backward-compatible code (**correct?**)
+Backward-compatible code:
 
 
 ```