Issues · Glasgow Haskell Compiler / GHC · GitLab

Couldn't match kind ‘k1’ with ‘k1’

#16244 · opened Jan 27, 2019 by Ryan Scott 8.10.1 P::normal Trac import TypeInType bug error messages typechecker 5
- 0
updated Jul 07, 2019
Stuck type families can lead to lousy error messages

#14319 · opened Oct 04, 2017 by David Feuer 8.10.1 P::normal Trac import TypeFamilies TypeInType bug error messages typechecker 5
- 7
updated Jul 07, 2019
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · opened Jul 27, 2017 by Ryan Scott 8.10.1 P::normal Trac import TypeFamilies TypeInType bug compiler crash partial type sigs typechecker typed holes 5
- 17
updated Jul 07, 2019
Support Typeable instances for types with coercions

#13933 · opened Jul 07, 2017 by Richard Eisenberg P::normal Trac import TypeInType Typeable bug 5
- 2
updated Jul 07, 2019
Consider inferring a higher-rank kind for type synonyms

#13408 · opened Mar 10, 2017 by Richard Eisenberg 8.10.1 P::normal Trac import TypeInType feature request visible dependent quantification 5
- 13
updated Jul 07, 2019
TypeInType: Type error conditioned on ordering of GADT and type family definitions

#15561 · opened Aug 23, 2018 by Bj0rn 8.6.1 GADTs P::normal Trac import TypeFamilies TypeInType bug 5
- 3
updated Jul 07, 2019
Type family in type pattern kind

#12564 · opened Sep 02, 2016 by Vladislav Zavialov 8.4.1 P::high Trac import TypeFamilies TypeInType bug typechecker 7
- 25
updated Aug 24, 2019
Allow type family in data family return kind

#14645 · opened Jan 07, 2018 by Richard Eisenberg P::normal Trac import TypeFamilies TypeInType bug 5
- 12
updated Jul 07, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott 8.10.1 P::normal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker 5
- 2
updated Jul 07, 2019
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov TypeInType bug typechecker
- 1
- 22
updated Sep 25, 2019