[Git][ghc/ghc][wip/T24359] Specialise expressions: polishing

sheaf (@sheaf) gitlab at gitlab.haskell.org
Tue Dec 3 00:43:02 UTC 2024



sheaf pushed to branch wip/T24359 at Glasgow Haskell Compiler / GHC


Commits:
146af81e by sheaf at 2024-12-02T13:29:16+01:00
Specialise expressions: polishing

This commit:

  - adds flags -Wdeprecated-pragmas and -Wuseless-specialisations,
  - uses -Wdeprecated-pragmas to control the warning when using old-style
    SPECIALISE pragmas with multiple type ascriptions,
  - uses -Wuseless-specialisations to control the warning emitted when
    GHC determines that a SPECIALISE pragma would have no effect,
  - makes GHC continue to generate seemingly useless SPECIALISE pragmas,
    as per user request (see new test T25389),
  - adds deprecations to Template Haskell `pragSpecD` and `pracSpecInlD`,
  - adds mention of the changes to the 9.14 release notes as well as
    the Template Haskell changelog,

- - - - -


30 changed files:

- compiler/GHC/Driver/Flags.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/HsToCore/Binds.hs
- compiler/GHC/HsToCore/Errors/Ppr.hs
- compiler/GHC/HsToCore/Errors/Types.hs
- compiler/GHC/Parser/Errors/Ppr.hs
- compiler/GHC/Parser/Errors/Types.hs
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Types/Error/Codes.hs
- compiler/GHC/Types/Hint.hs
- compiler/GHC/Types/Hint/Ppr.hs
- compiler/Language/Haskell/Syntax/Binds.hs
- docs/users_guide/9.14.1-notes.rst
- libraries/ghc-internal/src/GHC/Internal/TH/Lib.hs
- libraries/ghc-internal/src/GHC/Internal/TH/Syntax.hs
- libraries/template-haskell/changelog.md
- testsuite/tests/interface-stability/template-haskell-exports.stdout
- + testsuite/tests/simplCore/should_compile/T25389.hs
- testsuite/tests/simplCore/should_compile/all.T
- testsuite/tests/th/T19363.stdout
- testsuite/tests/th/T7064.stdout
- + testsuite/tests/typecheck/should_compile/SpecPragmas.hs
- + testsuite/tests/typecheck/should_fail/SpecPragmasFail.hs
- + testsuite/tests/typecheck/should_fail/SpecPragmasFail.stderr
- + testsuite/tests/warnings/should_compile/SpecMultipleTys.hs
- + testsuite/tests/warnings/should_compile/SpecMultipleTys.stderr
- testsuite/tests/warnings/should_compile/all.T
- + testsuite/tests/warnings/should_fail/SpecEMultipleTys.hs
- + testsuite/tests/warnings/should_fail/SpecEMultipleTys.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/146af81ed027cf4cea42bf7f8a52972c9ea971f6

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/146af81ed027cf4cea42bf7f8a52972c9ea971f6
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20241202/47ea7485/attachment.html>


More information about the ghc-commits mailing list