Issues · Glasgow Haskell Compiler / GHC · GitLab

Another loop with injective type families

#17186 · opened Sep 12, 2019 by Richard Eisenberg TypeFamilies bug compiler crash injective type families typechecker
- 0
updated Sep 12, 2019
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 Pnormal Trac import bug injective type families 5
- 15
updated Jan 23, 2020
Mark negation injective

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

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

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

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

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

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

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