| ... | ... | @@ -33,17 +33,9 @@ For implementation status, see #18598, the tracking ticket for most recent work |
|
|
|
- [`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)
|
|
|
|
|
|
|
|
### Ideas
|
|
|
|
|
|
|
|
- Clarify semantics of "functional" dependencies for use in `HasField`/`SetField` (initial thoughts on [Wiggly arrows](https://gitlab.haskell.org/ghc/ghc/-/wikis/Functional-dependencies-in-GHC/Wiggly-arrows) wiki page)
|
|
|
|
- Allow (associated?) record pattern synonyms to solve `HasField` constraints (question around multi-constructor pattern synonyms: need pattern synonym collections?)
|
|
|
|
- Anonymous non-extensible records?
|
|
|
|
- Modifier for read-only fields?
|
|
|
|
|
|
|
|
See also [this comment setting out a possible direction of travel](https://github.com/ghc-proposals/ghc-proposals/pull/510#issuecomment-1137887333).
|
|
|
|
|
|
|
|
### Other related GHC proposals
|
|
|
|
|
|
|
|
- [Partial Field Behaviour](https://github.com/parsonsmatt/ghc-proposals/blob/matt/partial-field-behavior/proposals/0000-partial-field-behavior.md)
|
|
|
|
- [Separate HasField into GetField and SetField](https://github.com/tysonzero/ghc-proposals/blob/patch-3/proposals/separate-get-set-field.md)
|
|
|
|
- [Add GHC.Variants module to mirror GHC.Records](https://github.com/tysonzero/ghc-proposals/blob/ghc-variants/proposals/ghc-variants.md)
|
|
|
|
- [`NoFieldSelectors` as a datatype annotation](https://github.com/parsonsmatt/ghc-proposals/blob/matt/field-selectors-scoped/proposals/0512-nofieldselectors-per-datatype.md)
|
| ... | ... | @@ -51,6 +43,15 @@ See also [this comment setting out a possible direction of travel](https://githu |
|
|
|
- [Local modules](https://github.com/goldfirere/ghc-proposals/blob/local-modules/proposals/0000-local-modules.rst)
|
|
|
|
- [Add Row Polymorphism to Haskell](https://github.com/jvanbruegge/ghc-proposals/blob/row-polymorphism/proposals/0000-row-polymorphism.rst)
|
|
|
|
|
|
|
|
### Ideas
|
|
|
|
|
|
|
|
- Clarify semantics of "functional" dependencies for use in `HasField`/`SetField` (initial thoughts on [Wiggly arrows](https://gitlab.haskell.org/ghc/ghc/-/wikis/Functional-dependencies-in-GHC/Wiggly-arrows) wiki page)
|
|
|
|
- Allow (associated?) record pattern synonyms to solve `HasField` constraints (question around multi-constructor pattern synonyms: need pattern synonym collections?)
|
|
|
|
- Anonymous non-extensible records?
|
|
|
|
- Modifier for read-only fields?
|
|
|
|
|
|
|
|
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)
|
| ... | ... | |
