Skip to content

Use conLikeUserTyVarBinders to quantify field selector types

Ryan Scott requested to merge wip/T18023 into master

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 (closed).

Merge request reports