Planning for the 7.12 release

Simon Peyton Jones simonpj at
Fri Aug 28 15:45:08 UTC 2015

Actually that’s a good idea.


From: ghc-devs [mailto:ghc-devs-bounces at] On Behalf Of Greg Weber
Sent: 28 August 2015 16:43
To: Ben Gamari
Cc: GHC developers
Subject: Re: Planning for the 7.12 release

Can we call this GHC 8.0 instead of 7.12 ?
Overloaded record fields and backtraces are a huge missing piece to Haskell. It would be nice to have the bump to celebrate this occasion and say that Haskell 8 is "ready". I have had a hard time seriously recommending Haskell due to those last missing features. Now I should be able to say without reservation: "use Haskell > 8; it is great!"

On Thu, Aug 27, 2015 at 8:38 AM, Ben Gamari <ben at<mailto:ben at>> wrote:

Hello everyone!

With the 7.10.1 release nearly six months behind us and 7.10.2 out of the
way, now is a good time to begin looking forward to 7.12. In keeping
with the typical release pace, we are aiming to have a release
candidate ready in mid-December 2015 and a final release in January

The items that that we currently believe have a good chance of making it
in to 7.12 are listed on the release status page [1], which I've
summarized below (in no particular order),

    * Support for implicit parameters providing callstacks and source

    * Support for wildcards in data and type family instances

    * A new, type-indexed type representation, data TTypeRep (a :: k).

    * Introduction of visible type application

    * Support for reasoning about kind equalities

    * Support for Injective Type Families

    * Support for the Strict language extension

    * Support for Overloaded Record Fields, allowing multiple uses of
      the same field name and a form of type-directed name resolution.

    * A huge improvement to pattern matching (including much better
      coverage of GADTs)

    * Backpack is chugging along; we have a new user-facing syntax which
      allows multiple modules to be defined a single file, and are
      hoping to release at least the ability to publish multiple "units"
      in a single Cabal file.

    * Support for Applicative Do, allowing GHC to desugar do-notation to
      Applicative where possible.

    * Improved DWARF based debugging support including backtraces from
      Haskell code

    * An Improved LLVM Backend that ships with every major Tier 1 platform.

These items are a bit less certain but may make it in if the authors
push forward quickly enough,

    * Support for Type Signature Sections, allowing you to write (:: ty)
      as a shorthand for (\x -> x :: ty).

    * A (possible) overhaul of GHC's build system to use Shake instead
      of Make.

    * A DEPRECATED pragma for exports

Is your pet project missing from this list? If you have a patch that you
believe is on-track to make it in for 7.12, please let us know.

Moreover, if you have an issue that you urgently need fixed in 7.12,
please express you interest on the appropriate ticket. User feedback
helps us immensely in figuring out how to best place our priorities.


- Ben


ghc-devs mailing list
ghc-devs at<mailto:ghc-devs at>

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

More information about the ghc-devs mailing list