[ghc-steering-committee] Treat kind and type vars identically with `forall` #103

[Joachim Breitner]

Hi,

Am Sonntag, den 15.04.2018, 23:11 -0400 schrieb Richard Eisenberg:
> On Apr 13, 2018, at 7:48 PM, Joachim Breitner <mail at joachim-breitner.de> wrote:
> > what does this mean for this proposal? Is there disagreement over
> > quickly the proposal will be implemented?
> 
> Yes, I believe there has been disagreement here, with Simon
> advocating for a sooner implementation, and Manuel and I arguing for
> a more delayed implementation (specifically, 2 releases after #83 is
> implemented).

can you work towards a consensus? Simon, since you are the Shepherd I’d
kindly ask you to drive this discussion.

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180505/aa2fabc4/attachment.sig>