This page is our road-map for what will be in 7.12.
We hope to incorporate all the "Landed" and "In-flight" stuff under "Release highlights" below.
We'll include (or at least review) all patches in tickets in "Status: patch" below.
We will address all the tickets under "Status: new" below with "highest" or "high" priority. We love help to do more, but there are far too many "normal" tickets to make any promises.
If you believe your favourite thing belongs in this list, but isn't there, please yell. If it's not in the road map, it probably won't get done. Without a lot of support, many things in the road map won't get done either, so we need your help!
Release candidate by* mid-December 2015**. Release in January 2016.
Support for reasoning about kind equalities, which gives promotion of GADTs to kinds, kind families, heterogeneous equality (kind-indexed GADTs), and * :: *. There is some discussion in DependentHaskell/Phase1, but that's very low-level. I (Richard) have no good user-oriented write-up yet, but there shouldn't be much in the way of new syntax -- just fewer type errors.
Support for Strict Haskell including both the StrictData and Strict language extensions
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), based on the work of Simon PJ and Georgios Karachalias. For more details, see their paper.
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.