... | @@ -36,18 +36,8 @@ TODO |
... | @@ -36,18 +36,8 @@ TODO |
|
|
|
|
|
### Front-end changes
|
|
### Front-end changes
|
|
|
|
|
|
- **Indexed `Typeable` representations**[Typeable/BenGamari](typeable/ben-gamari) (Ben Gamari, Simon Peyton Jones, et al). While GHC has long supported runtime type reflection through the `Typeable` typeclass, its current incarnation requires care to use, providing little in the way of type-safety. For this reason the implementation of types like `Data.Dynamic` must be implemented in terms of `unsafeCoerce` with no compiler verification.
|
|
|
|
|
|
|
|
>
|
|
|
|
> GHC 8.2 will address this by introducing indexed type representations, leveraging the type-checker to verify programs using type reflection. This allows facilities like `Data.Dynamic` to be implemented in a fully type-safe manner. See the [ paper](http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-dynamic/) for an description of the proposal and the [ Wiki](https://ghc.haskell.org/trac/ghc/wiki/Typeable/BenGamari) for the current status of the implementation.
|
|
|
|
|
|
|
|
### Back-end and runtime system
|
|
### Back-end and runtime system
|
|
|
|
|
|
- **Further improvements to debugging information** (Ben Gamari): There are still a number of outstanding issues with GHC's DWARF implementation, some of which even carry the potential to crash the runtime system during stacktrace collection. GHC 8.2 will hopefully have these issues resolved, allowing debugging - TODO information to be used by end-user code in production.
|
|
|
|
|
|
|
|
>
|
|
|
|
> With stable stack unwinding support comes a number of opportunities for new serial and parallel performance analysis tools (e.g. statistical profiling) and debugging. As GHC's debugging information improves, we expect to see tooling developed to support these applications. See the [ DWARF status page](https://ghc.haskell.org/trac/ghc/wiki/DWARF/80Status) for further information.
|
|
|
|
|
|
|
|
### Build system and miscellaneous changes
|
|
### Build system and miscellaneous changes
|
|
|
|
|
|
- Consolidate non-determinism changes (Bartosz).
|
|
- Consolidate non-determinism changes (Bartosz).
|
... | @@ -56,6 +46,11 @@ TODO |
... | @@ -56,6 +46,11 @@ TODO |
|
|
|
|
|
#### Front-end changes
|
|
#### Front-end changes
|
|
|
|
|
|
|
|
- **Indexed `Typeable` representations**[Typeable/BenGamari](typeable/ben-gamari) (Ben Gamari, Simon Peyton Jones, et al). While GHC has long supported runtime type reflection through the `Typeable` typeclass, its current incarnation requires care to use, providing little in the way of type-safety. For this reason the implementation of types like `Data.Dynamic` must be implemented in terms of `unsafeCoerce` with no compiler verification.
|
|
|
|
|
|
|
|
>
|
|
|
|
> GHC 8.2 will address this by introducing indexed type representations, leveraging the type-checker to verify programs using type reflection. This allows facilities like `Data.Dynamic` to be implemented in a fully type-safe manner. See the [ paper](http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-dynamic/) for an description of the proposal and the [ Wiki](https://ghc.haskell.org/trac/ghc/wiki/Typeable/BenGamari) for the current status of the implementation.
|
|
|
|
|
|
- **Deriving**:
|
|
- **Deriving**:
|
|
|
|
|
|
- Deriving strategies (Ryan Scott): grant users the ability to choose explicitly how a class should be `derived` (using a built-in algorithm, `GeneralizedNewtypeDeriving`, `DeriveAnyClass`, or otherwise), addressing [\#10598](https://gitlab.haskell.org//ghc/ghc/issues/10598).
|
|
- Deriving strategies (Ryan Scott): grant users the ability to choose explicitly how a class should be `derived` (using a built-in algorithm, `GeneralizedNewtypeDeriving`, `DeriveAnyClass`, or otherwise), addressing [\#10598](https://gitlab.haskell.org//ghc/ghc/issues/10598).
|
... | @@ -85,6 +80,11 @@ TODO |
... | @@ -85,6 +80,11 @@ TODO |
|
|
|
|
|
- **Live streaming of event-log data** ([ Phab:2934](https://phabricator.haskell.org/2934))
|
|
- **Live streaming of event-log data** ([ Phab:2934](https://phabricator.haskell.org/2934))
|
|
|
|
|
|
|
|
- **Further improvements to debugging information** (Ben Gamari): There are still a number of outstanding issues with GHC's DWARF implementation, some of which even carry the potential to crash the runtime system during stacktrace collection. GHC 8.2 will hopefully have these issues resolved, allowing debugging - TODO information to be used by end-user code in production.
|
|
|
|
|
|
|
|
>
|
|
|
|
> With stable stack unwinding support comes a number of opportunities for new serial and parallel performance analysis tools (e.g. statistical profiling) and debugging. As GHC's debugging information improves, we expect to see tooling developed to support these applications. See the [ DWARF status page](https://ghc.haskell.org/trac/ghc/wiki/DWARF/80Status) for further information.
|
|
|
|
|
|
### Optimiser and intermediate language
|
|
### Optimiser and intermediate language
|
|
|
|
|
|
- [Implement join points](sequent-core) (Luke Maurer)
|
|
- [Implement join points](sequent-core) (Luke Maurer)
|
... | | ... | |