... | ... | @@ -46,15 +46,30 @@ |
|
|
## GHC proposals
|
|
|
|
|
|
|
|
|
Since the launch of the [ GHC proposals process](https://github.com/ghc-proposals/ghc-proposals), over 128 proposals have been submitted.
|
|
|
|
|
|
TODO Joachim, would you like to summarise, esp
|
|
|
|
|
|
- List (with links) to proposals accepted since the last status report (6 months ago).
|
|
|
- Number of proposals (a) in discussion, (b) submitted but no decision yet, (c) rejected.
|
|
|
|
|
|
|
|
|
etc. Whatever seems good to you as a summary.
|
|
|
Since the launch of the [ GHC proposals process](https://github.com/ghc-proposals/ghc-proposals), over 128 proposals have been created, 41 have been submitted to the committee and 19 have been accepted. These are:
|
|
|
|
|
|
- [OverloadedRecordFields](overloaded-record-fields)[ (PR \#6)](https://github.com/ghc-proposals/ghc-proposals/pull/6)
|
|
|
- Update levity polymorphism [ (PR \#29)](https://github.com/ghc-proposals/ghc-proposals/pull/29)
|
|
|
- Make Constraint not apart from Type [ (PR \#32)](https://github.com/ghc-proposals/ghc-proposals/pull/32)
|
|
|
- Hex floats [ (PR \#37)](https://github.com/ghc-proposals/ghc-proposals/pull/37)
|
|
|
- Allow signatures on pattern synonym constructors [ (PR \#42)](https://github.com/ghc-proposals/ghc-proposals/pull/42)
|
|
|
- Explicit foralls proposal [ (PR \#55)](https://github.com/ghc-proposals/ghc-proposals/pull/55)
|
|
|
- Overhaul deriving instances for empty data types proposal [ (PR \#63)](https://github.com/ghc-proposals/ghc-proposals/pull/63)
|
|
|
- Require namespacing fixity declarations for type names [ (PR \#65)](https://github.com/ghc-proposals/ghc-proposals/pull/65)
|
|
|
- Extend -Wall with incomplete-uni-patterns and incomplete-record-updates [ (PR \#71)](https://github.com/ghc-proposals/ghc-proposals/pull/71)
|
|
|
- Add small primitive types, like `Int8#`/`Word8#`[ (PR \#74)](https://github.com/ghc-proposals/ghc-proposals/pull/74)
|
|
|
- Propose underscores in numeric literals [ (PR \#76)](https://github.com/ghc-proposals/ghc-proposals/pull/76)
|
|
|
- Deprecate STM invariant mechanism [ (PR \#77)](https://github.com/ghc-proposals/ghc-proposals/pull/77)
|
|
|
- Type-level type applications [ (PR \#80)](https://github.com/ghc-proposals/ghc-proposals/pull/80)
|
|
|
- Embrace (Type :: Type) [ (PR \#83)](https://github.com/ghc-proposals/ghc-proposals/pull/83)
|
|
|
- Allow `do` etc. to be used as function arguments without a $ [ (PR \#90)](https://github.com/ghc-proposals/ghc-proposals/pull/90)
|
|
|
- As-pattern synonyms [ (PR \#94)](https://github.com/ghc-proposals/ghc-proposals/pull/94)
|
|
|
- Unlifted Newtypes [ (PR \#98)](https://github.com/ghc-proposals/ghc-proposals/pull/98)
|
|
|
- Proposal for Source Plugins [ (PR \#107)](https://github.com/ghc-proposals/ghc-proposals/pull/107)
|
|
|
- Quantified constraints [ (PR \#109)](https://github.com/ghc-proposals/ghc-proposals/pull/109)
|
|
|
|
|
|
|
|
|
At the time of writing, [ 15 proposals are under active discussion by the committee](https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+no%3Alabel) and [ 13 proposals are under review by the committee](https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+label%3A%22Pending+committee+review%22).
|
|
|
|
|
|
## Looking forward: what's hot
|
|
|
|
... | ... | |