24 Dec
2020
24 Dec
'20
9:25 a.m.
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 http://www.joachim-breitner.de/