Issues · Glasgow Haskell Compiler / GHC · GitLab

Relax restrictions on type family instance overlap

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

#10227 · opened Apr 02, 2015 by lennart@augustsson.net 5 Pnormal Trac import bug injective type families
- 3
updated Jul 07, 2019
Generalize injective type families

#10832 · opened Sep 03, 2015 by Jan Stolarek 5 Pnormal Trac import feature request injective type families typechecker
- 17
updated Dec 09, 2020
Use injective type families (decomposition) when dealing with givens

#10833 · opened Sep 03, 2015 by Jan Stolarek 5 Pnormal Trac import feature request injective type families typechecker
- 13
updated Mar 17, 2020
Type family producing infinite type accepted as injective

#11511 · opened Jan 29, 2016 by Jan Stolarek 5 Pnormal Trac import TypeFamilies bug injective type families typechecker
- 7
updated Jul 07, 2019
Problems with injective type families

#13621 · opened Apr 27, 2017 by Icelandjack 5 Pnormal Trac import bug injective type families
- 4
updated Jul 07, 2019
Mark negation injective

#13797 · opened Jun 07, 2017 by Icelandjack 5 Pnormal Trac import bug injective type families
- 1
updated Mar 17, 2020
GHC hangs on type family dependency

#14164 · opened Aug 28, 2017 by Icelandjack 5 Pnormal Trac import bug injective type families
- 15
updated Jan 23, 2020
Pattern matching breaks injective type families

#16436 · opened Mar 14, 2019 by Vladislav Zavialov injective type families typechecker
- 7
updated Dec 21, 2019
Another loop with injective type families

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