[Git][ghc/ghc][master] Remove TcRnDeprecatedInvisTyArgInConPat mechanism

[Marge Bot (@marge-bot)]

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


Commits:
5b4774f9 by sheaf at 2024-12-03T15:22:07+01:00
Remove TcRnDeprecatedInvisTyArgInConPat mechanism

The combination of ScopedTypeVariables + TypeApplications now no longer
enables the use of type applications in constructor patterns, as per
GHC proposal #448.

This completes the deprecation that begun with GHC 9.8.

We also remove the -Wdeprecated-type-abstractions flag, which was
introduced in GHC 9.10.

- - - - -


30 changed files:

- compiler/GHC/Driver/Flags.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/Rename/Pat.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Types/Error/Codes.hs
- docs/users_guide/9.14.1-notes.rst
- docs/users_guide/using-warnings.rst
- testsuite/tests/ghci/scripts/ghci024.stdout
- testsuite/tests/ghci/scripts/ghci024.stdout-mingw32
- testsuite/tests/rename/should_fail/Or3.hs
- testsuite/tests/rename/should_fail/Or3.stderr
- testsuite/tests/rename/should_fail/T22478b.hs
- testsuite/tests/rename/should_fail/T22478b.stderr
- testsuite/tests/typecheck/should_fail/T20443b.hs
- testsuite/tests/typecheck/should_fail/T20443b.stderr
- testsuite/tests/typecheck/should_fail/T22478c.hs
- testsuite/tests/typecheck/should_fail/T22478c.stderr
- testsuite/tests/typecheck/should_fail/T23776.stderr
- testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiAppPat.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearSinglePat.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearSinglePat.stderr
- testsuite/tests/typecheck/should_fail/TyAppPat_Nonmatching.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_PatternBinding.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_PatternBindingExistential.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_TooMany.hs
- testsuite/tests/typecheck/should_fail/TyAppPat_TooMany.stderr
- testsuite/tests/wcompat-warnings/Template.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5b4774f93de579474d4ebb867234a07d93003f07

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5b4774f93de579474d4ebb867234a07d93003f07
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/20241203/14e8d973/attachment.html>