[Git][ghc/ghc][master] testsuite: Do not require CUSKs

[Marge Bot (@marge-bot)]

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


Commits:
679bbc97 by Vladislav Zavialov at 2023-07-04T22:05:32-04:00
testsuite: Do not require CUSKs

Numerous tests make use of CUSKs (complete user-supplied kinds),
a legacy feature scheduled for deprecation. In order to proceed
with the said deprecation, the tests have been updated to use SAKS
instead (standalone kind signatures).

This also allows us to remove the Haskell2010 language pragmas that
were added in 115cd3c85a8 to work around the lack of CUSKs in GHC2021.

- - - - -


30 changed files:

- testsuite/tests/dependent/should_compile/Dep2.hs
- testsuite/tests/dependent/should_compile/DkNameRes.hs
- testsuite/tests/dependent/should_compile/KindEqualities2.hs
- testsuite/tests/dependent/should_compile/RaeBlogPost.hs
- testsuite/tests/dependent/should_compile/RaeJobTalk.hs
- testsuite/tests/dependent/should_compile/T11711.hs
- testsuite/tests/dependent/should_compile/T12442.hs
- testsuite/tests/dependent/should_compile/T14066a.hs
- testsuite/tests/dependent/should_compile/T14066a.stderr
- testsuite/tests/dependent/should_compile/T14556.hs
- testsuite/tests/dependent/should_compile/T14749.hs
- testsuite/tests/dependent/should_compile/T16326_Compile1.hs
- testsuite/tests/dependent/should_compile/TypeLevelVec.hs
- testsuite/tests/dependent/should_compile/dynamic-paper.hs
- testsuite/tests/dependent/should_compile/mkGADTVars.hs
- testsuite/tests/dependent/should_fail/T13601.hs
- testsuite/tests/dependent/should_fail/T13780c.hs
- testsuite/tests/dependent/should_fail/T13780c.stderr
- testsuite/tests/dependent/should_fail/T15380.hs
- testsuite/tests/ghci/scripts/T7939.hs
- testsuite/tests/ghci/scripts/T7939.stdout
- testsuite/tests/indexed-types/should_compile/T14554.hs
- testsuite/tests/indexed-types/should_compile/T15122.hs
- testsuite/tests/indexed-types/should_compile/T15352.hs
- testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs
- testsuite/tests/indexed-types/should_compile/T17008b.hs
- testsuite/tests/indexed-types/should_fail/ClosedFam3.hs
- testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot
- testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr
- testsuite/tests/indexed-types/should_fail/T14246.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/679bbc9705371af8ca65a5bfeb702e14bc406f51

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/679bbc9705371af8ca65a5bfeb702e14bc406f51
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/20230704/4575b112/attachment.html>