Joachim: you didn't opine on default type signatures.
By the way, is it you kicking off the deliberation?
On Tue, 21 Nov 2023 at 22:11, Joachim Breitner
Hi,
Am Dienstag, dem 21.11.2023 um 21:06 +0000 schrieb Simon Peyton Jones:
I agree. But I have been increasingly realising that really the extension should be called PolyLocalBinds, and MonoLocalBinds should be a synonym for NoPolyLocalBinds.
Reason: extensions generally allow more programs, not fewer. PolyLocalBinds does that -- at the expense of less predictable type inference. To get predictable type inference with GADTs we switch PolyLocalBinds off.
You may think this is just moving the deck chairs around, but I think this renaming is a more consistent story.
I am a big fan of nicely arranged seating on deck. So if we think it’s useful, I think we can add this to GHC2024 as NoPolyLocalBinds, retrofit PolyLocalBinds into the previous editions, and make the (No)MonoLocalBinds flags just aliases. I can add this as a rider to the GHC2024 vote.
Cheers, Joachim
-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.