| ... | ... | @@ -34,8 +34,9 @@ For implementation status, see #18598, the tracking ticket for most recent work |
|
|
|
|
|
|
|
### Ideas
|
|
|
|
|
|
|
|
- `OverloadedRecordUpdate` should fall back on non-overloaded update when a module qualifier is used on a field name
|
|
|
|
- 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 record pattern synonyms to solve `HasField` constraints (question around multi-constructor pattern synonyms: need pattern synonym collections?)
|
|
|
|
- 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?
|
|
|
|
|
| ... | ... | |
