[Git][ghc/ghc][wip/int-index/visibility-subsumption] WIP: Visibility subsumption

[Vladislav Zavialov (@int-index)]

Vladislav Zavialov pushed to branch wip/int-index/visibility-subsumption at Glasgow Haskell Compiler / GHC


Commits:
bf33ed4a by Vladislav Zavialov at 2023-02-04T13:49:31+03:00
WIP: Visibility subsumption

- - - - -


30 changed files:

- compiler/GHC/Core/Map/Type.hs
- compiler/GHC/Core/TyCo/Compare.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Solver/Canonical.hs
- compiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Utils/Unify.hs
- compiler/GHC/Types/Error/Codes.hs
- testsuite/tests/dependent/should_compile/T11966.hs
- testsuite/tests/indexed-types/should_compile/T15740a.hs
- testsuite/tests/saks/should_compile/saks032.hs
- testsuite/tests/saks/should_fail/T18863a.stderr
- testsuite/tests/typecheck/should_compile/T15079.hs
- + testsuite/tests/typecheck/should_fail/T15079_fail_a.hs
- + testsuite/tests/typecheck/should_fail/T15079_fail_a.stderr
- + testsuite/tests/typecheck/should_fail/T15079_fail_b.hs
- + testsuite/tests/typecheck/should_fail/T15079_fail_b.stderr
- + testsuite/tests/typecheck/should_fail/T22648a.hs
- + testsuite/tests/typecheck/should_fail/T22648a.stderr
- + testsuite/tests/typecheck/should_fail/T22648b.hs
- + testsuite/tests/typecheck/should_fail/T22648b.stderr
- + testsuite/tests/typecheck/should_fail/T22648c.hs
- + testsuite/tests/typecheck/should_fail/T22648c.stderr
- + testsuite/tests/typecheck/should_fail/T22648v.hs
- + testsuite/tests/typecheck/should_fail/T22648v.stderr
- + testsuite/tests/typecheck/should_fail/T22648v_ql.hs


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/bf33ed4a8bc01d80f184b4a965d0316ea8c0a435
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/20230204/ab1f351e/attachment.html>