Issues · Glasgow Haskell Compiler / GHC · GitLab

Validity checker should reject polytypes passed to type functions

#18762 · opened Sep 29, 2020 by Richard Eisenberg ImpredicativeTypes Pnormal TypeFamilies bug program incorrectly accepted
- 7
updated Oct 03, 2020
"equirecursive" type family leads to stack overflow in ghci

#18456 · opened Jul 15, 2020 by Xia Li-yao GHCi Pnormal TypeFamilies bug 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 TemplateHaskell TypeFamilies bug
- 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 TypeFamilies UndecidableSuperClasses UndecideableInstances bug
- 1
- 3
updated Jul 01, 2020
Type variables from instance declarations reinterpreted as existential type variables in associated data family instances

#18021 · opened Apr 05, 2020 by Alexey Kuleshevich TypeFamilies bug
- 37
updated Apr 28, 2020
Unused type variable error misidentifies the name of the type variable

#17838 · opened Feb 15, 2020 by Ryan Scott PolyKinds TypeFamilies bug 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 TypeFamilies bug
- 6
updated Feb 20, 2020
CUSK-less class typechecks on 8.4, but not on 8.6+

#17772 · opened Jan 31, 2020 by Ryan Scott PolyKinds TypeFamilies bug typechecker
- 4
updated Jun 08, 2020
First-class apartness checking in type families

#17585 · opened Dec 17, 2019 by sheaf Pnormal TypeFamilies feature request
- 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 TypeFamilies UnliftedNewtypes feature request
- 5
updated Feb 18, 2020
Kind-checking associated types

#17327 · opened Oct 09, 2019 by mniip TypeFamilies TypeInType bug 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 backport needed:8.10 compiler crash
- 12
updated Jun 04, 2020
Backpack and instance defaults

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

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

#16684 · opened May 22, 2019 by Iavor S. Diatchki GADTs TypeFamilies typechecker
- 3
updated May 23, 2019
Exhaustivity checking GADT with free variables

#16278 · opened Feb 02, 2019 by Andrew Martin GADTs Pnormal Trac import TypeFamilies bug pattern match warnings 5
- 7
updated Jun 17, 2020
coerce fails for Coercible type families

#15683 · opened Sep 27, 2018 by Icelandjack 8.6.1 Pnormal Trac import TypeFamilies bug 5
- 2
- 8
updated Apr 20, 2020
Error message involving type families points to wrong location

#15621 · opened Sep 08, 2018 by Ryan Scott 9.0.1 Pnormal Trac import TypeFamilies bug error messages typechecker 5
- 11
updated Jan 23, 2020
TypeInType: Type error conditioned on ordering of GADT and type family definitions

#15561 · opened Aug 23, 2018 by Bj0rn 8.6.1 GADTs Pnormal Trac import TypeFamilies TypeInType bug 5
- 3
updated Jul 07, 2019