On Dec 18, 2023, at 5:26 AM, Simon Peyton Jones <simon.peytonjones@gmail.com> wrote:

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 <mail@joachim-breitner.de> wrote:

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

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee