Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC

Commits:

• fd64667d
  by Vladislav Zavialov at 2025-05-20T03:25:08-04:00

  Allow the 'data' keyword in import/export lists (#25899)
  
  This patch introduces the 'data' namespace specifier in import and
  export lists. The intended use is to import data constructors without
  their parent type constructors, e.g.
  
    import Data.Proxy as D (data Proxy)
    type DP = D.Proxy   -- promoted data constructor
  
  Additionally, it is possible to use 'data' to explicitly qualify any
  data constructors or terms, incl. operators and field selectors
  
    import Prelude (Semigroup(data (<>)))
    import Data.Function (data (&))
    import Data.Monoid (data Dual, data getDual)
  
    x = Dual "Hello" <> Dual "World" & getDual
  
  The implementation mostly builds on top of the existing logic for the
  'type' and 'pattern' namespace specifiers, plus there are a few tweaks
  to how we generate suggestions in error messages.
  

39 changed files:

• compiler/GHC/Hs/ImpExp.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/Export.hs
• compiler/GHC/Types/Error/Codes.hs
• compiler/GHC/Types/Hint.hs
• compiler/GHC/Types/Hint/Ppr.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/ImpExp.hs
• docs/users_guide/9.14.1-notes.rst
• docs/users_guide/exts/explicit_namespaces.rst
• docs/users_guide/exts/pattern_synonyms.rst
• testsuite/tests/module/T21826.stderr
• testsuite/tests/rename/should_compile/T22581d.stdout
• + testsuite/tests/rename/should_compile/T25899a.hs
• + testsuite/tests/rename/should_compile/T25899b.hs
• + testsuite/tests/rename/should_compile/T25899c.hs
• + testsuite/tests/rename/should_compile/T25899c_helper.hs
• + testsuite/tests/rename/should_compile/T25899d.script
• + testsuite/tests/rename/should_compile/T25899d.stdout
• testsuite/tests/rename/should_compile/all.T
• testsuite/tests/rename/should_fail/T22581a.stderr
• testsuite/tests/rename/should_fail/T22581b.stderr
• + testsuite/tests/rename/should_fail/T25899e1.hs
• + testsuite/tests/rename/should_fail/T25899e1.stderr
• + testsuite/tests/rename/should_fail/T25899e2.hs
• + testsuite/tests/rename/should_fail/T25899e2.stderr
• + testsuite/tests/rename/should_fail/T25899e3.hs
• + testsuite/tests/rename/should_fail/T25899e3.stderr
• + testsuite/tests/rename/should_fail/T25899e_helper.hs
• + testsuite/tests/rename/should_fail/T25899f.hs
• + testsuite/tests/rename/should_fail/T25899f.stderr
• + testsuite/tests/rename/should_fail/T25899f_helper.hs
• testsuite/tests/rename/should_fail/all.T
• utils/check-exact/ExactPrint.hs

The diff was not included because it is too large.