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
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@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee