Brandon Chinn pushed to branch wip/interpolated-strings at Glasgow Haskell Compiler / GHC

Commits:

• 4e9297ea
  by Simon Jakobi at 2026-09-11T08:32:45-04:00

  ci: Actually pass --ignore-perf-failures to the testsuite driver
  
  684c0018d9 changed the IGNORE_PERF_FAILURES handling to append to
  RUNTEST_ARGS with bash array syntax, but the three use sites still
  expand RUNTEST_ARGS as a scalar, which yields only the first array
  element. The appended flag was therefore dropped in every job, so
  perf improvements kept failing Marge Bot batches and master pipelines,
  contrary to #19562.
  
  Append as a string instead, matching the existing --force-colors
  append in test_hadrian.
  
  Fixes #27563.
  
  Assisted-by: Claude Fable 5.1
  

• 4f78dfdf
  by Simon Jakobi at 2026-09-11T08:33:24-04:00

  testsuite: Give T26537 a 1.5x compile timeout
  
  Its -fregs-graph compile step tends to time out in unoptimized builds
  (#27188, #27776).
  
  Assisted-by: Claude Fable 5.1
  

• 130286e3
  by Alan Zimmerman at 2026-09-11T08:34:08-04:00

  EPA: Remove ListBanana / ListParens from AnnListBrackets
  
  This is a step towards making AnnList only represent
  lists of items which can have either braces or layout.
  

• a9827d13
  by Simon Jakobi at 2026-09-11T18:53:32-04:00

  Reject ~, UNPACK and multiplicity annotations on type data fields
  
  Only `!` was rejected so far. `~`, UNPACK and multiplicity annotations
  were silently accepted. None of them make sense at the type level, so
  restriction (R3) of Note [Type data declarations] now covers all of
  them.
  
  Fixes #27732.
  
  Assisted-by: Claude Fable 5.1
  

• c71d5e23
  by Alan Zimmerman at 2026-09-11T18:54:11-04:00

  EPA: Add a Note for the exact print main loop
  

• 2f525215
  by Brandon Chinn at 2026-09-11T19:38:46-07:00

  Reorganize processChars functions
  
  Move functions around, no code changes
  

• 74fadf63
  by Brandon Chinn at 2026-09-11T19:38:46-07:00

  Always use processCharsSingle to get StringLexError
  

• 3783dc88
  by Brandon Chinn at 2026-09-11T19:38:46-07:00

  Add pprHsStringMulti, unify string ppr functions
  

• d8b024b3
  by Brandon Chinn at 2026-09-11T23:52:58-07:00

  Break out Language.Haskell.Syntax.StringMeta
  

• 2b7c00fc
  by Brandon Chinn at 2026-09-11T23:53:09-07:00

  Implement interpolated strings (#27592)
  

112 changed files:

• .gitlab/ci.sh
• + changelog.d/27732
• + changelog.d/string-interpolation
• compiler/GHC/Builtin/KnownOccs.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Lit.hs
• compiler/GHC/Hs/Pat.hs
• compiler/GHC/Hs/Syn/Type.hs
• compiler/GHC/HsToCore/Expr.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/Lexer/String.x
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/String.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/Module.hs
• + compiler/GHC/Rename/String.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/Expr.hs
• compiler/GHC/Tc/Types/Origin.hs
• compiler/GHC/Tc/Zonk/Type.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Utils/Outputable.hs
• compiler/Language/Haskell/Syntax/Expr.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• + compiler/Language/Haskell/Syntax/StringMeta.hs
• compiler/ghc.cabal.in
• docs/users_guide/exts/qualified_strings.rst
• + docs/users_guide/exts/string_interpolation.rst
• docs/users_guide/exts/type_data.rst
• libraries/base/src/GHC/Essentials.hs
• libraries/base/src/GHC/Show.hs
• libraries/ghc-experimental/ghc-experimental.cabal.in
• + libraries/ghc-experimental/src/Data/String/Experimental.hs
• + libraries/ghc-experimental/src/Data/String/Interpolate/Builder/Experimental.hs
• + libraries/ghc-experimental/src/Data/String/Interpolate/Class/Experimental.hs
• + libraries/ghc-experimental/src/Data/String/Interpolate/Default/Experimental.hs
• + libraries/ghc-experimental/src/Data/String/Interpolate/ShowS/Experimental.hs
• libraries/ghc-internal/ghc-internal.cabal.in
• + libraries/ghc-internal/src/GHC/Internal/Data/String/Interpolate.hs
• libraries/ghc-internal/src/GHC/Internal/LanguageExtensions.hs
• libraries/ghc-internal/src/GHC/Internal/Show.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Lib.hs
• testsuite/tests/codeGen/should_run/all.T
• testsuite/tests/count-deps/CountDepsAst.stdout
• testsuite/tests/count-deps/CountDepsParser.stdout
• testsuite/tests/driver/T4437.hs
• testsuite/tests/ghc-api/T25121_status.stdout
• testsuite/tests/interface-stability/base-exports.stdout
• testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
• testsuite/tests/interface-stability/base-exports.stdout-mingw32
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32
• testsuite/tests/interface-stability/template-haskell-exports.stdout
• + testsuite/tests/parser/should_fail/MultilineStringsEscapeOverflow.hs
• + testsuite/tests/parser/should_fail/MultilineStringsEscapeOverflow.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationEscapeOverflow.hs
• + testsuite/tests/parser/should_fail/StringInterpolationEscapeOverflow.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationExtraOpen.hs
• + testsuite/tests/parser/should_fail/StringInterpolationExtraOpen.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationInPat.hs
• + testsuite/tests/parser/should_fail/StringInterpolationInPat.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationInType.hs
• + testsuite/tests/parser/should_fail/StringInterpolationInType.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationIncompleteExpr.hs
• + testsuite/tests/parser/should_fail/StringInterpolationIncompleteExpr.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationInvalidExpr.hs
• + testsuite/tests/parser/should_fail/StringInterpolationInvalidExpr.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationLineComment.hs
• + testsuite/tests/parser/should_fail/StringInterpolationLineComment.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationNoDelimClose.hs
• + testsuite/tests/parser/should_fail/StringInterpolationNoDelimClose.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationNoExpr.hs
• + testsuite/tests/parser/should_fail/StringInterpolationNoExpr.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationNoExprClose.hs
• + testsuite/tests/parser/should_fail/StringInterpolationNoExprClose.stderr
• + testsuite/tests/parser/should_fail/StringInterpolationSmartQuotes.hs
• + testsuite/tests/parser/should_fail/StringInterpolationSmartQuotes.stderr
• testsuite/tests/parser/should_fail/all.T
• + testsuite/tests/parser/should_run/StringInterpolation.hs
• + testsuite/tests/parser/should_run/StringInterpolation.stdout
• + testsuite/tests/parser/should_run/StringInterpolationOverloaded.hs
• + testsuite/tests/parser/should_run/StringInterpolationOverloaded.stdout
• testsuite/tests/parser/should_run/all.T
• + testsuite/tests/qualified-strings/should_run/Example/SQL.hs
• testsuite/tests/qualified-strings/should_run/all.T
• + testsuite/tests/qualified-strings/should_run/qstrings_interpolation.hs
• + testsuite/tests/qualified-strings/should_run/qstrings_interpolation.stdout
• + testsuite/tests/type-data/should_fail/T27732a.hs
• + testsuite/tests/type-data/should_fail/T27732a.stderr
• + testsuite/tests/type-data/should_fail/T27732b.hs
• + testsuite/tests/type-data/should_fail/T27732b.stderr
• + testsuite/tests/type-data/should_fail/T27732c.hs
• + testsuite/tests/type-data/should_fail/T27732c.stderr
• + testsuite/tests/type-data/should_fail/T27732d.hs
• + testsuite/tests/type-data/should_fail/T27732d.stderr
• + testsuite/tests/type-data/should_fail/T27732e.hs
• + testsuite/tests/type-data/should_fail/T27732e.stderr
• + testsuite/tests/type-data/should_fail/T27732f.hs
• + testsuite/tests/type-data/should_fail/T27732f.stderr
• testsuite/tests/type-data/should_fail/TDStrictnessGADT.stderr
• testsuite/tests/type-data/should_fail/TDStrictnessH98.stderr
• testsuite/tests/type-data/should_fail/all.T
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Utils.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs

The diff was not included because it is too large.