[Git][ghc/ghc][master] 2 commits: Remove ScopedTypeVariables => TypeAbstractions

[Marge Bot (@marge-bot)]

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


Commits:
9eecdf33 by sheaf at 2023-08-28T18:54:06+00:00
Remove ScopedTypeVariables => TypeAbstractions

This commit implements [amendment 604](https://github.com/ghc-proposals/ghc-proposals/pull/604/)
to [GHC proposal 448](https://github.com/ghc-proposals/ghc-proposals/pull/448)
by removing the implication of language extensions

  ScopedTypeVariables => TypeAbstractions

To limit breakage, we now allow type arguments in constructor patterns
when both ScopedTypeVariables and TypeApplications are enabled, but
we emit a warning notifying the user that this is deprecated behaviour
that will go away starting in GHC 9.12.

Fixes #23776

- - - - -
fadd5b4d by sheaf at 2023-08-28T18:54:06+00:00
.stderr: ScopedTypeVariables =/> TypeAbstractions

This commit accepts testsuite changes for the changes in the previous
commit, which mean that TypeAbstractions is no longer implied by
ScopedTypeVariables.

- - - - -


30 changed files:

- compiler/GHC/Driver/DynFlags.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/Rename/HsType.hs
- compiler/GHC/Rename/Pat.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Types/Error/Codes.hs
- testsuite/tests/dependent/should_compile/T16391a.hs
- testsuite/tests/gadt/T19847.hs
- testsuite/tests/indexed-types/should_compile/T15352.hs
- testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs
- testsuite/tests/patsyn/should_compile/T22328.hs
- testsuite/tests/patsyn/should_fail/T14507.hs
- testsuite/tests/patsyn/should_fail/T14507.stderr
- testsuite/tests/perf/compiler/CoOpt_Singletons.hs
- testsuite/tests/polykinds/T11480b.hs
- testsuite/tests/polykinds/T11523.hs
- testsuite/tests/polykinds/T12055.hs
- testsuite/tests/polykinds/T12055a.hs
- testsuite/tests/polykinds/T12055a.stderr
- testsuite/tests/polykinds/T16244.hs
- testsuite/tests/polykinds/T16244.stderr
- testsuite/tests/polykinds/T16245.hs
- testsuite/tests/polykinds/T16245.stderr
- testsuite/tests/polykinds/T16245a.hs
- testsuite/tests/polykinds/T16245a.stderr
- testsuite/tests/polykinds/T7224.hs
- testsuite/tests/rename/should_compile/T22478a.hs
- testsuite/tests/rename/should_fail/T22478d.hs
- testsuite/tests/rename/should_fail/T22478d.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/b6903f4d677673b144ec1b7864970961a182715e...fadd5b4dcf6fc05e8e7af6716a39f331495e011a

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/b6903f4d677673b144ec1b7864970961a182715e...fadd5b4dcf6fc05e8e7af6716a39f331495e011a
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/20230829/20db478f/attachment.html>