Skip to content

Allow imports to reference multiple fields with the same name

Adam Gundry requested to merge wip/amg/T21625 into master

If a module M exports two fields f (using DuplicateRecordFields), we can still accept

import M (f)
import M hiding (f)

and treat f as referencing both of them. This was accepted in GHC 9.0, but gave rise to an ambiguity error in GHC 9.2. See #21625 (closed).

Edited by Adam Gundry

Merge request reports