Issues · Glasgow Haskell Compiler / GHC · GitLab

Ordering of declarations can cause typechecking to fail

#14668 · created Jan 14, 2018 by heptahedron 5 Pnormal Tbug Trac import TypeInType typechecker
- 7
updated Mar 28, 2021
Allow type family in data family return kind

#14645 · created Jan 07, 2018 by Richard Eisenberg 5 Pnormal Tbug Trac import TypeFamilies TypeInType
- 12
updated Nov 12, 2021
Data families should not instantiate to non-Type kinds

#14420 · created Nov 03, 2017 by Richard Eisenberg 5 Pnormal Tbug Trac import TypeFamilies TypeInType
- 1
- 11
updated Feb 01, 2021
Stuck type families can lead to lousy error messages

#14319 · created Oct 04, 2017 by David Feuer 5 Pnormal Tbug Trac import TypeFamilies TypeInType error messages typechecker
- 7
updated Jan 23, 2020
Inconsistent treatment of implicitly bound kind variables as free-floating

#14198 · created Sep 08, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType typechecker
- 69
updated Dec 28, 2020
Permit levity polymorphism in kinds

#14180 · created Sep 01, 2017 by David Feuer 5 Pnormal Tbug Trac import TypeInType representation polymorphism typechecker
- 18
updated Sep 16, 2020
GHC mentions unlifted types out of the blue (to me anyway)

#14155 · created Aug 24, 2017 by Icelandjack 5 Pnormal Tbug Trac import TypeInType
- 12
updated Jan 23, 2020
Refactor type patterns

#14119 · created Aug 15, 2017 by Richard Eisenberg 5 Pnormal Ttask Trac import TypeInType
- 18
updated Jul 07, 2019
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · created Jul 27, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeFamilies TypeInType compiler crash partial type sigs typechecker typed holes
- 19
updated Jun 30, 2021
Support Typeable instances for types with coercions

#13933 · created Jul 07, 2017 by Richard Eisenberg 5 Pnormal Tbug Trac import TypeInType Typeable
- 2
updated Jul 07, 2019
Consider inferring a higher-rank kind for type synonyms

#13408 · created Mar 10, 2017 by Richard Eisenberg 5 Pnormal Tfeature request Trac import TypeInType visible dependent quantification
- 13
updated Sep 25, 2020
Allow kinds of associated types to depend on earlier associated types

#12612 · created Sep 23, 2016 by davemenendez 5 Pnormal Tbug Trac import TypeInType
- 1
- 5
updated Jul 07, 2019
Support induction recursion

#11962 · created Apr 20, 2016 by Richard Eisenberg 5 Pnormal Tfeature request Trac import TypeInType
- 19
updated Dec 29, 2021