GHC.Rename.Env.extendPatSynEnv does not generate AvailTC
Summary
Usually Haskell records generate AvailTC, associating a list of FieldLabel
s to fields. However, when record pattern synonyms are renamed, only a flat list of Avail
is generated. This makes record-related mechanisms behave differently.
See also !4017 (comment 303416)
Steps to reproduce
Any record pattern synonyms, such as testsuite/tests/patsyn/should_run/match.hs
Expected behavior
Generate AvailInfo
containing AvailTC
.
Environment
- GHC version used: 8.11.0 (master)
Optional:
- Operating System:
- System Architecture: