... | ... | @@ -23,16 +23,21 @@ For implementation status, see #18598, the tracking ticket for most recent work |
|
|
|
|
|
### Proposed
|
|
|
|
|
|
- [Relaxing `HasField` constraints](https://github.com/ocharles/ghc-proposals/blob/hasfield/proposals/0000-hasfield-incoherence.rst)
|
|
|
- [Add warning for incomplete record selectors: proposal 516](https://github.com/adamgundry/ghc-proposals/blob/incomplete-record-selectors/proposals/0000-incomplete-record-selectors.rst)
|
|
|
- [Relaxing `HasField` constraints](https://github.com/ocharles/ghc-proposals/blob/hasfield/proposals/0000-hasfield-incoherence.rst) (awaiting committee decision)
|
|
|
- [Add warning for incomplete record selectors: proposal 516](https://github.com/adamgundry/ghc-proposals/blob/incomplete-record-selectors/proposals/0000-incomplete-record-selectors.rst) (awaiting committee decision)
|
|
|
- [Disambiguating record updates using type signatures](https://github.com/adamgundry/ghc-proposals/blob/disambiguating-record-updates-using-type-signatures/proposals/0000-disambiguating-record-updates-using-type-signatures.rst) (under discussion)
|
|
|
|
|
|
|
|
|
### Drafts
|
|
|
|
|
|
- [Disambiguating record updates using type signatures](https://github.com/adamgundry/ghc-proposals/blob/disambiguating-record-updates-using-type-signatures/proposals/0000-disambiguating-record-updates-using-type-signatures.rst)
|
|
|
- [Non-overloaded updates with `OverloadedRecordUpdate`](https://github.com/adamgundry/ghc-proposals/blob/non-overloaded-updates/proposals/0000-overloaded-record-update-fallback.rst)
|
|
|
- [`HasField` redesign: split into two classes](https://github.com/adamgundry/ghc-proposals/blob/hasfield-redesign/proposals/0000-hasfield-redesign.rst)
|
|
|
- [Add type-changing update](https://github.com/adamgundry/ghc-proposals/blob/hasfield-redesign/proposals/0000-hasfield-type-changing-update.rst)
|
|
|
|
|
|
### Abandoned
|
|
|
|
|
|
- [DuplicateRecordFields simplification](https://github.com/adamgundry/ghc-proposals/blob/duplicaterecordfields-simplification/proposals/0000-duplicaterecordfields-simplification.rst)
|
|
|
|
|
|
### Other related GHC proposals
|
|
|
|
|
|
- [Partial Field Behaviour](https://github.com/parsonsmatt/ghc-proposals/blob/matt/partial-field-behavior/proposals/0000-partial-field-behavior.md)
|
... | ... | |