Skip to content

-fimplicit-import-qualified is broken with DuplicateRecordFields

The -fimplicit-import-qualified feature does not work with DuplicateRecordFields. That is, given a module like this

{-# LANGUAGE DuplicateRecordFields #-}
module ImplicitImportQualified where
data T = MkT { foo :: Int }

I should be able to do this in GHCi:

:l ImplicitImportQualified
:m 
ImplicitImportQualified.foo (ImplicitImportQualified.MkT 3)

but this results in a "Not in scope" error for ImplicitImportQualified.foo (whereas the implicit import works correctly, for ImplicitImportQualified.MkT).

The problem is that lookupQualifiedNameGHCi checks nameOccName and returns a plain [Name], with no facility for returning fields.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information