The user manual is pretty confusing. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/monadfail_desugaring... It says * The extension is enabled by default * The extension is temporary and will be deprecated in future Those two seem to contradict. Let's check. I believe that, * Today, by default, MonadFailDesugaring is on; that is, we desugar do-blocks to use MonadFail.fail * That behaviour is what we want, permanently * The extension -XMonadFailDesugaring and -XNoMonadFailDesugaring are already deprecated, but have not yet been removed. * When we remove them, we'll continue to desugar do-blocks to us MonadFail.fail We were due to remove them in 8.8, as the proposal says under "Transitional Strategy" https://gitlab.haskell.org/haskell/prime/-/wikis/libraries/proposals/monad-f... But we failed to do so. I conclude: we don't need votes on this. We should just execute on the proposal and remove the flags. I see that the proposal lists the following steps for GHC 8.2: 1. Remove -XMonadFail leaving its effects on at all times. 2. Remove fail from Monad 3. Instead, re-export Control.Monad.Fail.fail as Prelude.fail and Control.Monad.fail 4. Control.Monad.Fail is now a redundant module that can be considered deprecated. We appear to have done (2) and (3), but not (1) or (4). Would someone like to make a ticket to do them? Thanks Simon | -----Original Message----- | From: ghc-steering-committee <ghc-steering-committee- | bounces@haskell.org> On Behalf Of Joachim Breitner | Sent: 24 December 2020 14:26 | To: ghc-steering-committee@haskell.org | Subject: Re: [ghc-steering-committee] #380 GHC2021: | MonadFailDesugaring | | Hi, | | mostly a technical point, but just to avoid confusion | | MonadFailDesugaring is already on by default, and according to the | docs, is supposed to be deprecated, _but making that behaviour | permanent_. (So, really, NoMonadFailDesugaring is what is being | deprecated). | | I was previously confused by this and voted for "no", which is not | what my intention is. I updated my vote to "yes". | | This now has 7 votes and reached "barely out" status. | | Dear Richard and Simon, Simon, Tom: | You currently have "maybe", "irrelevant" or "no" here. Do you indeed | want to deviate from the documented plan of getting rid of | NoMonadFailDesugaring? | | Cheers, | Joachim | | | | -- | Joachim Breitner | mail@joachim-breitner.de | | https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j | oachim- | breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C6ae8267910 | 27460892dd08d8a817d464%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63 | 7444167613589334%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV | 2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=xYsdNqG4kjNBVYv | N1vMK8Uny90nOwCBjrCA%2BDiojq%2Bg%3D&reserved=0 | | | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee@haskell.org | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail | .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- | committee&data=04%7C01%7Csimonpj%40microsoft.com%7C6ae826791027460 | 892dd08d8a817d464%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6374441 | 67613589334%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz | IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=YKF4XyWy8j8KF3xMQMQt | VBYL977cbSWRaLsnqtrj55M%3D&reserved=0