| ... | ... | @@ -29,13 +29,13 @@ For implementation status, see #18598, the tracking ticket for most recent work |
|
|
|
|
|
|
|
- [Relaxing `HasField` constraints](https://github.com/ocharles/ghc-proposals/blob/hasfield/proposals/0000-hasfield-incoherence.rst) (being revised)
|
|
|
|
- [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)
|
|
|
|
- [`HasField` redesign: split into two classes](https://github.com/adamgundry/ghc-proposals/blob/hasfield-redesign/proposals/0000-hasfield-redesign.rst) (under discussion)
|
|
|
|
|
|
|
|
|
|
|
|
### Drafts
|
|
|
|
|
|
|
|
- [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)
|
|
|
|
- [Add type-changing update to `SetField`](https://github.com/adamgundry/ghc-proposals/blob/type-changing-update/proposals/0000-setfield-type-changing-update.rst)
|
|
|
|
|
|
|
|
### Abandoned
|
|
|
|
|
| ... | ... | @@ -60,12 +60,6 @@ For implementation status, see #18598, the tracking ticket for most recent work |
|
|
|
|
|
|
|
See also [this comment setting out a possible direction of travel](https://github.com/ghc-proposals/ghc-proposals/pull/510#issuecomment-1137887333).
|
|
|
|
|
|
|
|
## Task list
|
|
|
|
|
|
|
|
- Change `OverloadedRecordDot` parser to permit pseudo-keywords (#21226)
|
|
|
|
- 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))
|
|
|
|
|
|
|
|
## Documentation
|
|
|
|
|
|
|
|
- [`DisambiguateRecordFields` extension](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/disambiguate_record_fields.html)
|
| ... | ... | @@ -85,6 +79,8 @@ See also [this comment setting out a possible direction of travel](https://githu |
|
|
|
- !3257: extension of `HasField` class to support updates
|
|
|
|
- !4532: `RecordDotSyntax`
|
|
|
|
- !4743: `NoFieldSelectors` and liberalisation of `DuplicateRecordFields`
|
|
|
|
- !8966: Unrestricted `OverloadedLabels`
|
|
|
|
- !8686: More record disambiguation to the renamer
|
|
|
|
|
|
|
|
## History
|
|
|
|
|
| ... | ... | |
