[Git][ghc/ghc][wip/jakobbruenker/23515] Draft: Type/data instances: require that the instantiation is determined by the LHS alone (#23515)

[Jakob Brünker (@JakobBruenker)]

Jakob Brünker pushed to branch wip/jakobbruenker/23515 at Glasgow Haskell Compiler / GHC


Commits:
362cc8ce by Jakob Bruenker at 2024-06-01T09:47:51+02:00
Draft: Type/data instances: require that the instantiation is determined by the LHS alone (#23515)

Fixes #23515

Co-authored-by: Andrei Borzenkov <andreyborzenkov2002 at gmail.com>

- - - - -


30 changed files:

- compiler/GHC/Tc/TyCl.hs
- libraries/ghc-internal/src/GHC/Internal/Data/Type/Equality.hs
- testsuite/tests/dependent/should_compile/RaeJobTalk.hs
- testsuite/tests/dependent/should_compile/T14991.hs
- testsuite/tests/dependent/should_compile/T15666.hs
- testsuite/tests/dependent/should_fail/T11471.hs
- testsuite/tests/dependent/should_fail/T15380.hs
- testsuite/tests/dependent/should_fail/T15380.stderr
- testsuite/tests/ghci/scripts/T6018ghci.script
- testsuite/tests/ghci/scripts/T6018ghcifail.script
- testsuite/tests/ghci/scripts/T6018ghcifail.stderr
- testsuite/tests/ghci/should_fail/T16013.script
- testsuite/tests/impredicative/T18126-nasty.hs
- testsuite/tests/indexed-types/should_compile/ExplicitForAllFams2.hs
- testsuite/tests/indexed-types/should_compile/GADT1.hs
- testsuite/tests/indexed-types/should_compile/GADT11.hs
- testsuite/tests/indexed-types/should_compile/Numerals.hs
- testsuite/tests/indexed-types/should_compile/T11715b.hs
- testsuite/tests/indexed-types/should_compile/T12522.hs
- testsuite/tests/indexed-types/should_compile/T13705.hs
- testsuite/tests/indexed-types/should_compile/T17405a.hs
- testsuite/tests/indexed-types/should_compile/T17923.hs
- testsuite/tests/indexed-types/should_compile/T18065.hs
- testsuite/tests/indexed-types/should_compile/T2219.hs
- testsuite/tests/indexed-types/should_compile/T2627.hs
- testsuite/tests/indexed-types/should_fail/T12041.hs
- testsuite/tests/indexed-types/should_fail/T13971.hs
- testsuite/tests/indexed-types/should_fail/T13971.stderr
- testsuite/tests/indexed-types/should_fail/T14246.hs
- testsuite/tests/indexed-types/should_fail/T14246.stderr


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/362cc8ce1f544e7d36b43f7bc7d639f1c4dc8c79
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/20240601/8c5b5f3e/attachment.html>