Issues · Glasgow Haskell Compiler / GHC · GitLab

Regression involving unboxed types and type families

#17541 · opened Dec 04, 2019 by Matthew Pickering P::normal TypeInType bug program incorrectly rejected typechecker
- 1
- 8
updated Dec 06, 2019
Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg TypeInType core lint task typechecker
- 2
updated Oct 31, 2019
Permit levity polymorphism in kinds

#14180 · opened Sep 01, 2017 by David Feuer 8.2.3 P::normal Trac import TypeInType bug typechecker 5
- 14
updated Oct 14, 2019
Kind-checking associated types

#17327 · opened Oct 09, 2019 by mniip TypeFamilies TypeInType bug needs triage typechecker
- 2
updated Oct 09, 2019
Should GHC accept a type signature that needs coercion quantification?

#15710 · opened Oct 05, 2018 by Simon Peyton Jones P::normal Trac import TypeInType bug 5
- 8
updated Oct 09, 2019
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov TypeInType bug typechecker
- 1
- 22
updated Sep 25, 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
Inconsistent treatment of implicitly bound kind variables as free-floating

#14198 · opened Sep 08, 2017 by Ryan Scott P::normal Trac import TypeInType bug typechecker 5
- 61
updated Aug 01, 2019
Data families should not instantiate to non-Type kinds

#14420 · opened Nov 03, 2017 by Richard Eisenberg P::normal Trac import TypeFamilies TypeInType bug 5
- 1
- 11
updated Jul 10, 2019
Bug with PolyKinds, type synonyms & GADTs

#7503 · opened Dec 16, 2012 by Ashley Yakeley 8.0.1 P::normal Trac import TypeInType bug typechecker 5
- 8
updated Jul 07, 2019
TypeInType performance regressions

#11196 · opened Dec 11, 2015 by Richard Eisenberg 8.4.1 P::high Trac import TypeInType bug compiler perf 7
- 17
updated Jul 07, 2019
Support induction recursion

#11962 · opened Apr 20, 2016 by Richard Eisenberg P::normal Trac import TypeInType feature request 5
- 12
updated Jul 07, 2019
Allow kinds of associated types to depend on earlier associated types

#12612 · opened Sep 23, 2016 by davemenendez P::normal Trac import TypeInType bug 5
- 1
- 5
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
Implement KPush in types

#13650 · opened May 05, 2017 by Richard Eisenberg 8.6.1 P::high Trac import TypeInType task 7
- 3
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
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
Refactor type patterns

#14119 · opened Aug 15, 2017 by Richard Eisenberg P::normal Trac import TypeInType task 5
- 18
updated Jul 07, 2019
GHC mentions unlifted types out of the blue (to me anyway)

#14155 · opened Aug 24, 2017 by Icelandjack 8.10.1 P::normal Trac import TypeInType bug 5
- 12
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