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

[Joachim Breitner]

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


-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/