[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 4 commits: testsuite: Add regression test for #23864

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC


Commits:
b6903f4d by Zubin Duggal at 2023-08-28T12:33:58-04:00
testsuite: Add regression test for #23864

Simon says this was fixed by

commit 59202c800f2c97c16906120ab2561f6e1556e4af
Author: Sebastian Graf <sebastian.graf at kit.edu>
Date:   Fri Mar 31 17:35:22 2023 +0200

    CorePrep: Eliminate EmptyCase and unsafeEqualityProof in CoreToStg instead

    We eliminate EmptyCase by way of `coreToStg (Case e _ _ []) = coreToStg e` now.
    The main reason is that it plays far better in conjunction with eta expansion
    (as we aim to do for arguments in CorePrep, #23083), because we can discard
    any arguments, `(case e of {}) eta == case e of {}`, whereas in `(e |> co) eta`
    it's impossible to discard the argument.

- - - - -
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.

- - - - -
467847d5 by Greg Steuck at 2023-08-29T05:14:25-04:00
Repair `codes` test on OpenBSD by explicitly requesting extended RE

- - - - -


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
- linters/lint-codes/LintCodes/Coverage.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


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f5a72381cd8b492f4b74e8f3b8843ca6dbf84724...467847d5ea7e9fecbf6acf301652d5141a432687

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f5a72381cd8b492f4b74e8f3b8843ca6dbf84724...467847d5ea7e9fecbf6acf301652d5141a432687
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/17f42f41/attachment.html>