diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-04-07 18:08:17 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-04-08 07:29:31 -0400 |
| commit | 7cc4cd4cbc8d3cc8b03fbced9b57cf6b266fecf7 (patch) | |
| tree | 6693b9459b8db7317cad94bd7f7a6aa20d312775 /compiler/Unique.h | |
| parent | 255418da5d264fb2758bc70925adb2094f34adc3 (diff) | |
| download | haskell-wip/T18023.tar.gz | |
Use conLikeUserTyVarBinders to quantify field selector typeswip/T18023
This patch:
1. Writes up a specification for how the types of top-level field
selectors should be determined in a new section of the GHC User's
Guide, and
2. Makes GHC actually implement that specification by using
`conLikeUserTyVarBinders` in `mkOneRecordSelector` to preserve the
order and specificity of type variables written by the user.
Fixes #18023.
Diffstat (limited to 'compiler/Unique.h')
0 files changed, 0 insertions, 0 deletions