[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:
bd5d159c by Jakob Bruenker at 2024-06-01T10:12:37+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
- docs/users_guide/exts/type_families.rst
- 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


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/bd5d159c1f36a646f35a6854815afcd460c416ab
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/0200a55f/attachment-0001.html>