Issues · Glasgow Haskell Compiler / GHC · GitLab

Type family in type pattern kind

#12564 · created Sep 02, 2016 by Vladislav Zavialov 8.4.1 7 Phigh Tbug Trac import TypeFamilies TypeInType typechecker
- 25
updated Aug 24, 2019
Reference kind in a type instance declaration defined in another instance declaration

#12553 · created Aug 30, 2016 by Icelandjack 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 11
updated Jul 07, 2019
GHC 8.0 accepts recursive kind signature that GHC 7.10 rejects

#12534 · created Aug 24, 2016 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 2
updated Jul 07, 2019
Template Haskell regression: GHC erroneously thinks a type variable is also a kind

#12503 · created Aug 20, 2016 by Ryan Scott 8.2.1 7 Phigh Tbug TemplateHaskell Trac import TypeInType
- CLOSED
- 9
updated Jul 07, 2019
Pure unifier usually doesn't need to unify kinds

#12442 · created Jul 27, 2016 by Richard Eisenberg 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 9
updated Jul 07, 2019
data families shouldn't be required to have return kind *, data instances should

#12369 · created Jul 06, 2016 by Edward Kmett 8.4.1 5 Pnormal Tfeature request Trac import TypeInType typechecker
- CLOSED
- 14
updated Sep 09, 2021
Dependent type family does not reduce

#12239 · created Jun 28, 2016 by Vladislav Zavialov 8.2.1 7 Phigh Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 11
updated Jul 07, 2019
Failure of bidirectional type inference at the kind level

#12176 · created Jun 10, 2016 by Richard Eisenberg 8.4.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 4
updated Jul 07, 2019
Recursive use of type-in-type results in infinite loop

#12174 · created Jun 09, 2016 by Edward Z. Yang 8.2.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 7
updated Sep 19, 2020
“Constraints in kinds” illegal family application in instance (+ documentation issues?)

#12102 · created May 22, 2016 by Icelandjack 8.10.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 5
- 23
updated Jul 07, 2019
TypeInType Compile-time Panic

#12081 · created May 18, 2016 by MichaelK 5 Pnormal Tbug Trac import TypeInType compiler crash
- CLOSED
- 5
updated Sep 19, 2020
Visible kind application

#12045 · created May 11, 2016 by Icelandjack 8.8.1 5 Pnormal Tfeature request Trac import TypeApplications TypeInType ghc proposal
- CLOSED
- 18
updated Jul 07, 2019
GHCi Proposal: Display (Data.Kind.)Type instead of *

#12030 · created May 07, 2016 by Icelandjack 8.6.1 5 GHCi Pnormal Tfeature request Trac import TypeInType
- CLOSED
- 3
updated Jul 07, 2019
Notify user to import * from Data.Kind with TypeInType on

#12029 · created May 07, 2016 by Icelandjack 0 GHCi Plow Tfeature request Trac import TypeInType
- CLOSED
- 6
updated Jul 07, 2019
Can't infer type

#11995 · created Apr 29, 2016 by Icelandjack 8.2.2 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 07, 2019
Surprising behavior with higher-rank quantification of kind variables

#11966 · created Apr 21, 2016 by Ollie Charles 8.2.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 2
updated Jul 07, 2019
Without TypeInType, inconsistently accepts Data.Kind.Type but not type synonym

#11964 · created Apr 20, 2016 by Edward Z. Yang 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 3
updated Jul 07, 2019
GHC introduces kind equality without TypeInType

#11963 · created Apr 20, 2016 by Edward Z. Yang 8.4.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 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
Internal error: not in scope during type checking, but it passed the renamer

#11821 · created Apr 11, 2016 by darchon 8.0.2 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 14
updated Jul 07, 2019

Prev
1
…
6
7
8
9
10
11
12
13
Next