GHC plans for 8.0.1

This page is our road-map for what will be in 8.0.

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!

Dates

Release candidate by mid-January 2016. Release candidate three available in early April 2016, release in mid-April 2016.

Libraries Status

See Libraries

Release highlights

Below are the major highlights of 8.0.

In-flight, and likely to land in time

Documentation for -XTypeInType (Richard)

Landed in HEAD

Possible, if the authors push forward fast enough

There's nothing here.

Won't make it, but being actively worked on

An Improved LLVM Backend that ships with every major Tier 1 platform (Austin, #10074)

Make compilation results more deterministic (#4012)

Complete support for OverloadedRecordFields

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

, allowing you to write as a shorthand for . A DEPRECATED pragma for exports (#4879)

pragma for exports (#4879) A new, type-indexed type representation, data TTypeRep (a :: k) . See TypeableT.

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

instead of Make. Polish and merge Compact Normal Form support for efficient GC/serialization (ICFP'15)

Migration Guide to 8.0

FIXME Write the migration guide.

Migration/8.0

Known issues with release candidate 2

Release candidate 2 was released on 7 Feb 2016. These significant issues are known to be present in this release,

Known issues with release candidate 1

Release candidate 1 was released on 13 Jan 2016. These significant issues are present in this release,

The new -XInjectiveTypeFamilies language extension will likely be renamed to -XTypeFamilyDependencies

#11120 (closed): Type representations are missing for some types and promoted constructors

#11334 (closed): Solving for Typeable (Proxy :: Proxy 'Compose) fails

#11276 (closed): Pattern checker performance can degrade significantly in presence of pattern matches with guards

#11405 (closed): Type-level skolem-escape check fails incorrectly

#11414 (closed): Use of -XStrict results in compiler abort

#11379 (closed): Instance solver fails to terminate

#11419 (closed): Haddock documentation is currently not included in the binary distributions.

Tickets slated for 8.0.1

See the %8.0.1 milestone.