[ghc-steering-committee] GHC2024 voting

[Richard Eisenberg]

I'll join with Simon here. It's a bit too fresh for me.

Richard

> On Dec 18, 2023, at 5:26 AM, Simon Peyton Jones <simon.peytonjones at 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 at joachim-breitner.de <mailto:mail at 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 at joachim-breitner.de <mailto:mail at joachim-breitner.de>
>   http://www.joachim-breitner.de/ <http://www.joachim-breitner.de/>
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20231219/15bebf18/attachment.html>