Skip to content

GHC.Rename.Env.extendPatSynEnv does not generate AvailTC

Summary

Usually Haskell records generate AvailTC, associating a list of FieldLabels 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:
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information