Issues · Glasgow Haskell Compiler / GHC · GitLab

Improvement for closed type families based on equation apartness

#19568 · opened Mar 20, 2021 by Alexis King Plow Tfeature request TypeFamilies injective type families
- 5
updated Apr 08, 2021
Another loop with injective type families

#17186 · opened Sep 12, 2019 by Richard Eisenberg Tbug TypeFamilies compiler crash injective type families typechecker
- 0
updated Nov 10, 2020
Pattern matching breaks injective type families

#16436 · opened Mar 14, 2019 by Vladislav Zavialov injective type families typechecker
- 7
updated Dec 21, 2019
GHC hangs on type family dependency

#14164 · opened Aug 28, 2017 by Icelandjack 5 Pnormal Tbug Trac import injective type families
- 15
updated Jan 23, 2020
Mark negation injective

#13797 · opened Jun 07, 2017 by Icelandjack 5 Pnormal Tbug Trac import injective type families
- 1
updated Mar 17, 2020
Problems with injective type families

#13621 · opened Apr 27, 2017 by Icelandjack 5 Pnormal Tbug Trac import injective type families
- 4
updated Jul 07, 2019
Type family producing infinite type accepted as injective

#11511 · opened Jan 29, 2016 by Jan Stolarek 5 Pnormal Tbug Trac import TypeFamilies injective type families typechecker
- 7
updated Jul 07, 2019
Use injective type families (decomposition) when dealing with givens

#10833 · opened Sep 03, 2015 by Jan Stolarek 5 Pnormal Tfeature request Trac import injective type families typechecker
- 13
updated Mar 17, 2020
Generalize injective type families

#10832 · opened Sep 03, 2015 by Jan Stolarek 5 Pnormal Tfeature request Trac import injective type families typechecker
- 17
updated Dec 09, 2020
Type checker cannot deduce type

#10227 · opened Apr 02, 2015 by lennart@augustsson.net 5 Pnormal Tbug Trac import injective type families
- 3
updated Jul 07, 2019
Relax restrictions on type family instance overlap

#4259 · opened Aug 16, 2010 by lilac 8.0.1 5 Pnormal Tfeature request Trac import injective type families typechecker
- 32
updated Jul 07, 2019