GHC 7.8 release status

Simon Peyton-Jones simonpj at
Thu Sep 5 08:28:00 UTC 2013

Maybe not, but you'll have to move fast.

·         Make a branch (Iavor can do that)

·         Update the wiki page describing the design:
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?


From: Trevor Elliott [mailto:awesomelyawesome at]
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?



On Wed, Sep 4, 2013 at 10:27 AM, Iavor Diatchki <iavor.diatchki at<mailto:iavor.diatchki at>> wrote:

---------- Forwarded message ----------
From: Simon Peyton-Jones <simonpj at<mailto:simonpj at>>
Date: Wed, Sep 4, 2013 at 6:52 AM
Subject: GHC 7.8 release status
To: Nicolas Frisby <nicolas.frisby at<mailto:nicolas.frisby at>>, "Pedro Magalhães (dreixel at<mailto:dreixel at>)" <dreixel at<mailto:dreixel at>>, "Richard Eisenberg (eir at<mailto:eir at>)" <eir at<mailto:eir at>>, "Geoffrey Mainland (mainland at<mailto:mainland at>)" <mainland at<mailto:mainland at>>, Iavor Diatchki <iavor.diatchki at<mailto:iavor.diatchki at>>, Austin Seipp <aseipp at<mailto:aseipp at>>, Edsko de Vries <edsko at<mailto:edsko at>>, "Ryan Newton (rrnewton at<mailto:rrnewton at>)" <rrnewton at<mailto:rrnewton at>>, Luite Stegeman <stegeman at<mailto:stegeman at>>, Thomas Schilling <nominolo at<mailto:nominolo at>>, David Luposchainsky <dluposchainsky at<mailto:dluposchainsky at>>
Cc: "ghc-devs at<mailto:ghc-devs at>" <ghc-devs at<mailto:ghc-devs at>>

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:
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.

Microsoft Research Limited (company number 03369488) is registered in England and Wales
Registered office is at 21 Station Road, Cambridge, CB1 2FB

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list