Maybe not, but you'll have to move fast. · Make a branch (Iavor can do that) · Update the wiki page describing the design: http://ghc.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData You can demote any design alternatives that you discarded, putting them in an appendix at the end. · Update documentation in the user manual · Make sure you have tests in the testsuite How fast can you do that? Simon From: Trevor Elliott [mailto:awesomelyawesome@gmail.com] Sent: 04 September 2013 18:30 To: Iavor Diatchki; Simon Peyton-Jones Subject: Re: GHC 7.8 release status Hi Simon, We had talked during your Galois visit about the changes that Iavor and I had made to -XDataKinds, allowing different syntax when introducing a new kind. Have we missed the window to make it into the 7.8 release? Thanks! --trevor On Wed, Sep 4, 2013 at 10:27 AM, Iavor Diatchki mailto:iavor.diatchki@gmail.com> wrote: ---------- Forwarded message ---------- From: Simon Peyton-Jones mailto:simonpj@microsoft.com> Date: Wed, Sep 4, 2013 at 6:52 AM Subject: GHC 7.8 release status To: Nicolas Frisby mailto:nicolas.frisby@gmail.com>, "Pedro Magalhães (dreixel@gmail.commailto:dreixel@gmail.com)" mailto:dreixel@gmail.com>, "Richard Eisenberg (eir@cis.upenn.edumailto:eir@cis.upenn.edu)" mailto:eir@cis.upenn.edu>, "Geoffrey Mainland (mainland@cs.drexel.edumailto:mainland@cs.drexel.edu)" mailto:mainland@cs.drexel.edu>, Iavor Diatchki mailto:iavor.diatchki@gmail.com>, Austin Seipp mailto:aseipp@pobox.com>, Edsko de Vries mailto:edsko@well-typed.com>, "Ryan Newton (rrnewton@gmail.commailto:rrnewton@gmail.com)" mailto:rrnewton@gmail.com>, Luite Stegeman mailto:stegeman@gmail.com>, Thomas Schilling mailto:nominolo@googlemail.com>, David Luposchainsky mailto:dluposchainsky@googlemail.com> Cc: "ghc-devs@haskell.orgmailto:ghc-devs@haskell.org" mailto:ghc-devs@haskell.org> Friends The 7.8 release is imminent. This email is to ask abou the status of your contributions. In each case could you update the wiki with the current state of play, and your intentions, including dates. That is, don't put your reply in email: it on the status page below; though by all means send email too! Summary here: http://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.8 Also : What is missing from the list that should be done? * Patrick Palka: status of ghc -make -j? * Nick: status of your three items? * Pedro/Richard: is all the Typeable stuff, and gcast and friends, finished? * Geoff: what about the new Template Haskell story? * Iavor: when do you think you can merge? * Austin: what about ARMv7? * Edsko/Thomas/Luite: if you want anything for 7.8 it'll have to be jolly soon. At the moment I don't even know the motivation or design, let alone implementation. Could you make a wiki page explaining the proposed design? Is it really important to do this for 7.8? * Dynamic GHCi. I have no idea who is driving this, or how important it is. * Ryan: atomic stuff. All merged? * AMP warnings: David Luposchainsky is driving this. Thanks! Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office is at 21 Station Road, Cambridge, CB1 2FB