Brandon Chinn pushed to branch wip/T26503 at Glasgow Haskell Compiler / GHC

Commits:

• c811b1db
  by Brandon Chinn at 2026-01-23T18:29:09-08:00

  Implement QualifiedStrings (#26503)
  
  See Note [Implementation of QualifiedStrings]
  

56 changed files:

• compiler/GHC/Builtin/Names/TH.hs
• compiler/GHC/Builtin/Types.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Hs/Lit.hs
• compiler/GHC/HsToCore/Pmc/Desugar.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Errors/Ppr.hs
• compiler/GHC/Parser/Errors/Types.hs
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Types/Error/Codes.hs
• compiler/GHC/Types/StringMeta.hs
• docs/users_guide/9.16.1-notes.rst
• + docs/users_guide/exts/qualified_strings.rst
• libraries/ghc-boot-th/GHC/Boot/TH/Ppr.hs
• libraries/ghc-internal/src/GHC/Internal/LanguageExtensions.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Lib.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Syntax.hs
• libraries/template-haskell/Language/Haskell/TH/Lib.hs
• testsuite/tests/driver/T4437.hs
• testsuite/tests/ghc-api/annotations-literals/literals.stdout
• testsuite/tests/ghc-api/annotations-literals/parsed.stdout
• testsuite/tests/interface-stability/template-haskell-exports.stdout
• testsuite/tests/parser/should_compile/DumpParsedAst.stderr
• testsuite/tests/parser/should_compile/DumpParsedAstComments.stderr
• testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
• testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr
• + testsuite/tests/qualified-strings/Makefile
• + testsuite/tests/qualified-strings/should_compile/Example/Length.hs
• + testsuite/tests/qualified-strings/should_compile/all.T
• + testsuite/tests/qualified-strings/should_compile/qstrings_redundant_pattern.hs
• + testsuite/tests/qualified-strings/should_compile/qstrings_redundant_pattern.stderr
• + testsuite/tests/qualified-strings/should_fail/Example/Length.hs
• + testsuite/tests/qualified-strings/should_fail/Makefile
• + testsuite/tests/qualified-strings/should_fail/all.T
• + testsuite/tests/qualified-strings/should_fail/qstrings_bad_expr.hs
• + testsuite/tests/qualified-strings/should_fail/qstrings_bad_expr.stderr
• + testsuite/tests/qualified-strings/should_fail/qstrings_bad_pat.hs
• + testsuite/tests/qualified-strings/should_fail/qstrings_bad_pat.stderr
• + testsuite/tests/qualified-strings/should_fail/qstrings_multiline_no_ext.hs
• + testsuite/tests/qualified-strings/should_fail/qstrings_multiline_no_ext.stderr
• + testsuite/tests/qualified-strings/should_run/Example/ByteStringAscii.hs
• + testsuite/tests/qualified-strings/should_run/Example/ByteStringUtf8.hs
• + testsuite/tests/qualified-strings/should_run/Example/Text.hs
• + testsuite/tests/qualified-strings/should_run/Makefile
• + testsuite/tests/qualified-strings/should_run/all.T
• + testsuite/tests/qualified-strings/should_run/qstrings_expr.hs
• + testsuite/tests/qualified-strings/should_run/qstrings_expr.stdout
• + testsuite/tests/qualified-strings/should_run/qstrings_pat.hs
• + testsuite/tests/qualified-strings/should_run/qstrings_pat.stdout
• + testsuite/tests/qualified-strings/should_run/qstrings_th.hs
• + testsuite/tests/qualified-strings/should_run/qstrings_th.stdout
• utils/check-exact/ExactPrint.hs

The diff was not included because it is too large.