[Git][ghc/ghc][wip/sand-witch/lazy-skol] Use flag instead of [ExpPatTy]

[Andrei Borzenkov (@sand-witch)]

Andrei Borzenkov pushed to branch wip/sand-witch/lazy-skol at Glasgow Haskell Compiler / GHC


Commits:
5d64c820 by Andrei Borzenkov at 2023-12-14T18:01:48+04:00
Use flag instead of [ExpPatTy]

- - - - -


30 changed files:

- compiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Tc/Gen/Bind.hs
- compiler/GHC/Tc/Gen/Match.hs
- compiler/GHC/Tc/Gen/Match.hs-boot
- compiler/GHC/Tc/Utils/Unify.hs
- libraries/base/tests/T23454.stderr
- testsuite/tests/ado/T16135.stderr
- testsuite/tests/ado/ado005.stderr
- testsuite/tests/arrows/should_fail/T20768_arrow_fail.stderr
- testsuite/tests/arrows/should_fail/T5380.stderr
- testsuite/tests/backpack/should_fail/bkpfail24.stderr
- testsuite/tests/backpack/should_fail/bkpfail44.stderr
- testsuite/tests/dependent/should_fail/T14066d.stderr
- testsuite/tests/dependent/should_fail/T14066e.stderr
- testsuite/tests/gadt/T3169.stderr
- testsuite/tests/gadt/T7558.stderr
- testsuite/tests/gadt/rw.stderr
- testsuite/tests/ghci/scripts/Defer02.stderr
- testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr
- testsuite/tests/indexed-types/should_compile/Simple14.stderr
- testsuite/tests/indexed-types/should_compile/T15322a.stderr
- testsuite/tests/indexed-types/should_compile/T3208b.stderr
- testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
- testsuite/tests/indexed-types/should_fail/Overlap6.stderr
- testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr
- testsuite/tests/indexed-types/should_fail/T13674.stderr
- testsuite/tests/indexed-types/should_fail/T14369.stderr
- testsuite/tests/indexed-types/should_fail/T2627b.stderr
- testsuite/tests/indexed-types/should_fail/T2664.stderr
- testsuite/tests/indexed-types/should_fail/T3330a.stderr


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5d64c8207ebe1559c258d91d3c673ffdfc38a775
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/20231214/983b1187/attachment.html>