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