[ghc-steering-committee] Proposal #608, -XPatternSignatureBinds. Rec: accept

[Moritz Angermann]

As this is guarded behind a language extension and as such should not
impact any existing code. I'm happy to see this change.

On Thu, 25 Jan 2024 at 04:43, Adam Gundry <adam at well-typed.com> wrote:

> I'm also happily in favour, for the reason Joachim articulates.
>
> Adam
>
>
> On 24/01/2024 18:24, Joachim Breitner wrote:
> > Hi,
> >
> > Am Mittwoch, dem 24.01.2024 um 17:32 +0000 schrieb Richard Eisenberg:
> >> - Accepting will make at least one person (John) happy. And I don't
> note anyone who would become unhappy. More happy people is more better. So
> I recommend acceptance. :)
> >
> > unless I am mistaken, this proposal will also un-deprecated
> > -XPatternSignatures, and give it the semantics I asked for in #119:
> > allow me to write
> >
> >     foo :: Monad m => m Int
> >     foo = do
> >       list :: String <- return ""
> >       return $ length list
> >
> > without treading into type variable territory, having to turn on
> > ScopedTypeVariables or anything like that. Finally!
> >
> >
> > So it also makes me a bit happy; in favor.
> >
> > Cheers,
> > Joachim
> >
> >
>
> --
> 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
>
> _______________________________________________
> 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/20240125/6bae7486/attachment.html>