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

[Adam Gundry]

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