Issues · Glasgow Haskell Compiler / GHC · GitLab

Performance of type family consistency checks

#19703 · opened Apr 14, 2021 by Pepe Iborra Pnormal Tbug TypeFamilies compiler perf
- 4
updated Apr 15, 2021
:info no longer shows instances of poly-kinded data families in GHC 9.2+

#19688 · opened Apr 11, 2021 by Ryan Scott 9.2.1 GHCi Phigh Tbug TypeFamilies backport needed:9.2
- 3
- 8
updated Apr 14, 2021
Implement type family reduction via term-level functions

#19634 · opened Apr 02, 2021 by Rinat Striungis 9.4.1 Tfeature request TypeFamilies typechecker
- 1
- 2
updated Apr 09, 2021
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
Type equality constraints can prevent sharing with GHC versions above 7.1

#19479 · opened Mar 02, 2021 by Philipp Tfeature request TypeFamilies runtime perf
- 5
updated Apr 06, 2021
type family creates a type synonym, which should not be created

#19277 · opened Jan 29, 2021 by Sorokin-Anton Pnormal Tbug TypeFamilies
- 2
updated Jan 29, 2021
Recursive type families optimisation

#19238 · opened Jan 19, 2021 by Sylvain Henry Coercions Tfeature request TypeFamilies compiler perf
- 1
updated Mar 12, 2021
Validity checker should reject polytypes passed to type functions

#18762 · opened Sep 29, 2020 by Richard Eisenberg ImpredicativeTypes Pnormal Tbug TypeFamilies program incorrectly accepted
- 9
updated Dec 11, 2020
"equirecursive" type family leads to stack overflow in ghci

#18456 · opened Jul 15, 2020 by Xia Li-yao GHCi Pnormal Tbug TypeFamilies compiler crash typechecker
- 2
updated Jul 17, 2020
reifyInstances doesn't work with closed type families

#18153 · opened May 06, 2020 by Joe Hermaszewski Pnormal Tbug TemplateHaskell TypeFamilies
- 0
updated May 09, 2020
8.10: Overlapping instances claimed where there are none (or crash in 8.8)

#18129 · opened May 02, 2020 by Serge Kosyrev GADTs OverlappingInstances Pnormal Tbug TypeFamilies UndecidableSuperClasses UndecideableInstances
- 1
- 3
updated Jul 01, 2020
Unused type variable error misidentifies the name of the type variable

#17838 · opened Feb 15, 2020 by Ryan Scott PolyKinds Tbug TypeFamilies error messages
- 5
updated Mar 31, 2020
QuantifiedConstraints don't work with equality constraints on type families

#17802 · opened Feb 07, 2020 by Sebastian Graf Pnormal QuantifiedConstraints Tbug TypeFamilies
- 6
updated Feb 20, 2020
First-class apartness checking in type families

#17585 · opened Dec 17, 2019 by sheaf Pnormal Tfeature request TypeFamilies
- 7
updated Jun 09, 2020
Allow data family instances with type family applications in the data family's result kind

#17503 · opened Nov 21, 2019 by Sebastian Graf Pnormal Tfeature request TypeFamilies UnliftedNewtypes
- 5
updated Feb 18, 2020
Kind-checking associated types

#17327 · opened Oct 09, 2019 by mniip Tbug TypeFamilies TypeInType typechecker
- 2
updated Feb 18, 2020
Data family instances aren't eta-reduced correctly

#17305 · opened Oct 04, 2019 by Ryan Scott 8.10.2 GADTs TemplateHaskell TypeFamilies compiler crash
- 14
updated Dec 14, 2020
Backpack and instance defaults

#17224 · opened Sep 20, 2019 by John Ericson DefaultSignatures Tfeature request TypeFamilies backpack
- 1
updated Oct 18, 2020
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
Order of declarations affects which programs are accepted (type families and existentials)

#16693 · opened May 24, 2019 by Iavor S. Diatchki ExistentialQuantification Tbug TypeFamilies program incorrectly rejected typechecker
- 5
updated Jan 23, 2020

Prev
1
2
3
Next