ImpredicativeTypes has been very successful, I think (i.e. few bug
reports), and very non-disruptive (i.e even if it's on, code that doesn't
use it goes on working).
But still, I would give it a longer "outing" before having it on by default.
So I'm mildly against. I'd put it on in the next iteration. But I don't
feel strongly.
Simon
On Mon, 18 Dec 2023 at 08:09, Joachim Breitner
Hi,
Am Sonntag, dem 17.12.2023 um 21:24 +0000 schrieb Adam Gundry:
The proposal mentions ImpredicativeTypes, but it doesn't seem to appear on the ballot? (Personally I'm not in favour of including it, but was this an accidental omission?)
pure clerical error on my side, not sure how it happened. Sorry Arnaud (who proposed it).
I guess it’s only fair to ask everyone to also cast a vote on ImpredicativeTypes. Sorry for the extra round-trip.
Adam not in favor, I take.
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