... | ... | @@ -33,25 +33,25 @@ Below are the major highlights of 8.0. |
|
|
|
|
|
### Landed in HEAD
|
|
|
|
|
|
- Option to ignore unrecognised warning flags ([\#10429](https://gitlab.haskell.org/ghc/ghc/issues/10429), Ben, [Phab:D1830](https://phabricator.haskell.org/D1830))
|
|
|
- Option to ignore unrecognised warning flags (#10429, Ben, [Phab:D1830](https://phabricator.haskell.org/D1830))
|
|
|
|
|
|
- Support for strictness and unpacking in Template Haskell (Trac [\#10697](https://gitlab.haskell.org/ghc/ghc/issues/10697), [Phab:D1603](https://phabricator.haskell.org/D1603))
|
|
|
- Support for strictness and unpacking in Template Haskell (Trac #10697, [Phab:D1603](https://phabricator.haskell.org/D1603))
|
|
|
|
|
|
- Visible type application ([\#5296](https://gitlab.haskell.org/ghc/ghc/issues/5296))
|
|
|
- Visible type application (#5296)
|
|
|
|
|
|
- Consistent warning options ([\#11218](https://gitlab.haskell.org/ghc/ghc/issues/11218), [Phab:D1613](https://phabricator.haskell.org/D1613))
|
|
|
- Consistent warning options (#11218, [Phab:D1613](https://phabricator.haskell.org/D1613))
|
|
|
|
|
|
- More expressive Generics metadata (Ryan Scott, Trac [\#10716](https://gitlab.haskell.org/ghc/ghc/issues/10716), [\#10697](https://gitlab.haskell.org/ghc/ghc/issues/10697), [Phab:D493](https://phabricator.haskell.org/D493))
|
|
|
- More expressive Generics metadata (Ryan Scott, Trac #10716, #10697, [Phab:D493](https://phabricator.haskell.org/D493))
|
|
|
|
|
|
- Expose enabled language extensions to [TemplateHaskell](template-haskell) ([\#10820](https://gitlab.haskell.org/ghc/ghc/issues/10820), Ben, [Phab:D1200](https://phabricator.haskell.org/D1200))
|
|
|
- Expose enabled language extensions to [TemplateHaskell](template-haskell) (#10820, Ben, [Phab:D1200](https://phabricator.haskell.org/D1200))
|
|
|
|
|
|
- Recursive superclasses (Simon, [Phab:D1594](https://phabricator.haskell.org/D1594), [\#11067](https://gitlab.haskell.org/ghc/ghc/issues/11067))
|
|
|
- Recursive superclasses (Simon, [Phab:D1594](https://phabricator.haskell.org/D1594), #11067)
|
|
|
|
|
|
- Documentation for OverloadedLabels (Adam)
|
|
|
|
|
|
- Use `Cxt` in Template Haskell's representation of `deriving` clauses ([\#10819](https://gitlab.haskell.org/ghc/ghc/issues/10819), Ben, [Phab:D1202](https://phabricator.haskell.org/D1202))
|
|
|
- Use `Cxt` in Template Haskell's representation of `deriving` clauses (#10819, Ben, [Phab:D1202](https://phabricator.haskell.org/D1202))
|
|
|
|
|
|
- Fix [\#10845](https://gitlab.haskell.org/ghc/ghc/issues/10845) with [Phab:1422](https://phabricator.haskell.org/1422) (Rework the Implicit CallStack solver to handle local lets)
|
|
|
- Fix #10845 with [Phab:1422](https://phabricator.haskell.org/1422) (Rework the Implicit CallStack solver to handle local lets)
|
|
|
|
|
|
- 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](dependent-haskell/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. ([Phab:D808](https://phabricator.haskell.org/D808))
|
|
|
|
... | ... | @@ -77,9 +77,9 @@ Below are the major highlights of 8.0. |
|
|
|
|
|
- Allow patterns synonyms to be exported in the same way as data constructors ([Phab:D1258](https://phabricator.haskell.org/D1258))
|
|
|
|
|
|
- [Custom type errors](proposal/custom-type-errors). ([\#9637](https://gitlab.haskell.org/ghc/ghc/issues/9637), [Phab:D1236](https://phabricator.haskell.org/D1236)).
|
|
|
- [Custom type errors](proposal/custom-type-errors). (#9637, [Phab:D1236](https://phabricator.haskell.org/D1236)).
|
|
|
|
|
|
- Implement the `MonadFail` proposal ([\#10751](https://gitlab.haskell.org/ghc/ghc/issues/10751))
|
|
|
- Implement the `MonadFail` proposal (#10751)
|
|
|
|
|
|
- Support for [DuplicateRecordFields](records/overloaded-record-fields/duplicate-record-fields), allowing multiple datatypes to declare the same record field names provided they are used unambiguously ([Phab:D761](https://phabricator.haskell.org/D761))
|
|
|
|
... | ... | @@ -93,11 +93,11 @@ Below are the major highlights of 8.0. |
|
|
|
|
|
- Improved [DWARF based debugging support](dwarf) from Peter Wortmann, Arash Rouhani, and Ben Gamari with backtraces from Haskell code.
|
|
|
|
|
|
- Significantly more stable support on ARM ([\#11206](https://gitlab.haskell.org/ghc/ghc/issues/11206))
|
|
|
- Significantly more stable support on ARM (#11206)
|
|
|
|
|
|
- Stack traces in GHCi ([\#11047](https://gitlab.haskell.org/ghc/ghc/issues/11047))
|
|
|
- Stack traces in GHCi (#11047)
|
|
|
|
|
|
- Better instrumentation for tracking compiler performance of ([\#11710](https://gitlab.haskell.org/ghc/ghc/issues/11710))
|
|
|
- Better instrumentation for tracking compiler performance of (#11710)
|
|
|
|
|
|
### Possible, if the authors push forward fast enough
|
|
|
|
... | ... | @@ -106,11 +106,11 @@ There's nothing here. |
|
|
|
|
|
### Won't make it, but being actively worked on
|
|
|
|
|
|
- An [Improved LLVM Backend](improved-llvm-backend) that ships with every major Tier 1 platform (Austin, [\#10074](https://gitlab.haskell.org/ghc/ghc/issues/10074))
|
|
|
- Make compilation results more deterministic ([\#4012](https://gitlab.haskell.org/ghc/ghc/issues/4012))
|
|
|
- An [Improved LLVM Backend](improved-llvm-backend) that ships with every major Tier 1 platform (Austin, #10074)
|
|
|
- Make compilation results more deterministic (#4012)
|
|
|
- Complete support for [OverloadedRecordFields](records/overloaded-record-fields)
|
|
|
- Support for **Type Signature Sections**, allowing you to write `(:: ty)` as a shorthand for `(\x -> x :: ty)`.
|
|
|
- A `DEPRECATED` pragma for exports ([\#4879](https://gitlab.haskell.org/ghc/ghc/issues/4879))
|
|
|
- A `DEPRECATED` pragma for exports (#4879)
|
|
|
- A new, type-indexed type representation, `data TTypeRep (a :: k)`. See [TypeableT](typeable-t).
|
|
|
- A (possible) overhaul of GHC's build system to use **Shake** instead of Make.
|
|
|
- Polish and merge Compact Normal Form support for efficient GC/serialization (ICFP'15)
|
... | ... | @@ -126,15 +126,15 @@ FIXME Write the migration guide. |
|
|
|
|
|
Release candidate 2 was [released](https://mail.haskell.org/pipermail/ghc-devs/2016-February/011309.html) on 7 Feb 2016. These significant issues are known to be present in this release,
|
|
|
|
|
|
- [\#11334](https://gitlab.haskell.org/ghc/ghc/issues/11334): Solving for `Typeable (Proxy :: Proxy 'Compose)` fails
|
|
|
- #11334: Solving for `Typeable (Proxy :: Proxy 'Compose)` fails
|
|
|
|
|
|
- [\#11339](https://gitlab.haskell.org/ghc/ghc/issues/11339): `microlens` package doesn't typecheck
|
|
|
- #11339: `microlens` package doesn't typecheck
|
|
|
|
|
|
- [\#11608](https://gitlab.haskell.org/ghc/ghc/issues/11608): `microlens` and `free` packages both fail to typecheck
|
|
|
- #11608: `microlens` and `free` packages both fail to typecheck
|
|
|
|
|
|
- [\#11414](https://gitlab.haskell.org/ghc/ghc/issues/11414): Use of `-XStrict` results in compiler abort
|
|
|
- #11414: Use of `-XStrict` results in compiler abort
|
|
|
|
|
|
- [\#11471](https://gitlab.haskell.org/ghc/ghc/issues/11471): Typechecker allows unsafe use of runtime-representation-polymorphism
|
|
|
- #11471: Typechecker allows unsafe use of runtime-representation-polymorphism
|
|
|
|
|
|
## Known issues with release candidate 1
|
|
|
|
... | ... | @@ -144,21 +144,21 @@ Release candidate 1 was [released](https://mail.haskell.org/pipermail/ghc-devs/2 |
|
|
- The new `-XInjectiveTypeFamilies` language extension will likely be
|
|
|
renamed to `-XTypeFamilyDependencies`
|
|
|
|
|
|
- [\#11120](https://gitlab.haskell.org/ghc/ghc/issues/11120): Type representations are missing for some types and promoted
|
|
|
- #11120: Type representations are missing for some types and promoted
|
|
|
constructors
|
|
|
|
|
|
- [\#11334](https://gitlab.haskell.org/ghc/ghc/issues/11334): Solving for `Typeable (Proxy :: Proxy 'Compose)` fails
|
|
|
- #11334: Solving for `Typeable (Proxy :: Proxy 'Compose)` fails
|
|
|
|
|
|
- [\#11276](https://gitlab.haskell.org/ghc/ghc/issues/11276): Pattern checker performance can degrade significantly in
|
|
|
- #11276: Pattern checker performance can degrade significantly in
|
|
|
presence of pattern matches with guards
|
|
|
|
|
|
- [\#11405](https://gitlab.haskell.org/ghc/ghc/issues/11405): Type-level skolem-escape check fails incorrectly
|
|
|
- #11405: Type-level skolem-escape check fails incorrectly
|
|
|
|
|
|
- [\#11414](https://gitlab.haskell.org/ghc/ghc/issues/11414): Use of `-XStrict` results in compiler abort
|
|
|
- #11414: Use of `-XStrict` results in compiler abort
|
|
|
|
|
|
- [\#11379](https://gitlab.haskell.org/ghc/ghc/issues/11379): Instance solver fails to terminate
|
|
|
- #11379: Instance solver fails to terminate
|
|
|
|
|
|
- [\#11419](https://gitlab.haskell.org/ghc/ghc/issues/11419): Haddock documentation is currently not included in the binary
|
|
|
- #11419: Haddock documentation is currently not included in the binary
|
|
|
distributions.
|
|
|
|
|
|
## Tickets marked merge with no milestone
|
... | ... | |