[ghc-steering-committee] Please review #687: Monad of No Return

[Simon Peyton Jones]

Can I draw your attention to
https://github.com/haskell/core-libraries-committee/issues/325#issuecomment-2796062617
?

The CLC plan to revisit the proposal, and while continued discussion here
is fine, I don't think we could act until the CLC concludes.  My thought:
let's move this back to "under revision" rather than shepherd it to a
conclusion.

We (maybe Adam or Matthias?) should write to the authors to explain this.
In a sympathetic and supportive way -- I think we all want to see Haskell
progress towards beauty and not just keep bad warts; but it's just a tricky
one.

Simon

On Fri, 11 Apr 2025 at 08:50, Matthías Páll Gissurarson via
ghc-steering-committee <ghc-steering-committee at haskell.org> wrote:

> Thank you all! This is a slightly nuanced one, so I’ll write a summary
> today for us to vote on.
>
> /Matti Palli
>
>
> On Tue, Apr 8, 2025 at 09:39 Adam Gundry via ghc-steering-committee <
> ghc-steering-committee at haskell.org> wrote:
>
>> Dear Committee,
>>
>> Benjamin proposes to revive and move forward the Monad of No Return
>> proposal:
>>
>> https://github.com/ghc-proposals/ghc-proposals/pull/687
>>
>> https://github.com/L0neGamer/ghc-proposals/blob/amending-mrp/proposals/0000-amending-mrp.rst
>>
>> I'd like to nominate Matthías as the shepherd.
>>
>> Please guide us to a conclusion as outlined in
>> https://github.com/ghc-proposals/ghc-proposals#committee-process
>>
>> Cheers,
>>
>> Adam
>>
>> --
>> Adam Gundry, Haskell Consultant
>> Well-Typed LLP, https://www.well-typed.com/
>>
>> Registered in England & Wales, OC335890
>> 27 Old Gloucester Street, London WC1N 3AX, England
>> <https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g>
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20250411/d056ad16/attachment-0001.html>