| ... | ... | @@ -19,12 +19,12 @@ For implementation status, see #18598, the tracking ticket for most recent work |
|
|
|
- [RecordDotSyntax](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst) (amended by [ghc-proposals#405](https://github.com/ghc-proposals/ghc-proposals/pull/405) and implemented in GHC 9.2)
|
|
|
|
- [DuplicateRecordFields without ambiguous field access](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0366-no-ambiguous-field-access.rst) (implemented for fields in GHC 9.2, not yet implemented for updates, see #19461)
|
|
|
|
- [Adding setField to HasField](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0042-record-set-field.rst) (Pending redesign and implementation, see #16232 and !3257)
|
|
|
|
- [Unrestricted Overloaded Labels](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0170-unrestricted-overloadedlabels.rst) (Draft implementation needs work, see #11671)
|
|
|
|
- [Unrestricted Overloaded Labels](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0170-unrestricted-overloadedlabels.rst) (implemented in GHC 9.6, see #11671, !8966)
|
|
|
|
- [Add warning for incomplete record selectors: proposal #516](https://github.com/adamgundry/ghc-proposals/blob/incomplete-record-selectors/proposals/0000-incomplete-record-selectors.rst) (accepted but not yet implemented, see #18650)
|
|
|
|
|
|
|
|
### Proposed
|
|
|
|
|
|
|
|
- [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)
|
|
|
|
|
|
|
|
|
| ... | ... | @@ -60,8 +60,6 @@ See also [this comment setting out a possible direction of travel](https://githu |
|
|
|
## Task list
|
|
|
|
|
|
|
|
- Change `OverloadedRecordDot` parser to permit pseudo-keywords (#21226)
|
|
|
|
- Tighten up import/export of ambiguous fields (#21625)
|
|
|
|
- Implement unrestricted `OverloadedLabels` (#11671)
|
|
|
|
- Improve error messages related to records (see [tickets](https://gitlab.haskell.org/ghc/ghc/-/issues/?sort=updated_desc&state=opened&label_name%5B%5D=error%20messages&label_name%5B%5D=records))
|
|
|
|
- Improve interaction between `TemplateHaskell` and `DuplicateRecordFields` (see [tickets](https://gitlab.haskell.org/ghc/ghc/-/issues/?sort=updated_desc&state=opened&label_name%5B%5D=OverloadedRecordFields&label_name%5B%5D=TemplateHaskell))
|
|
|
|
|
| ... | ... | |
