Issues · Glasgow Haskell Compiler / GHC · GitLab

Instantiation of invisible type family arguments is too eager

#12742 · opened Oct 20, 2016 by Richard Eisenberg Pnormal Trac import TypeInType bug 5
- CLOSED
- 2
updated Jul 07, 2019
Allow kinds of associated types to depend on earlier associated types

#12612 · opened Sep 23, 2016 by davemenendez Pnormal Trac import TypeInType bug 5
- 1
- 5
updated Jul 07, 2019
Reference kind in a type instance declaration defined in another instance declaration

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

#12534 · opened Aug 24, 2016 by Ryan Scott Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 2
updated Jul 07, 2019
Pure unifier usually doesn't need to unify kinds

#12442 · opened Jul 27, 2016 by Richard Eisenberg Pnormal Trac import TypeInType bug 5
- CLOSED
- 9
updated Jul 07, 2019
TypeInType Compile-time Panic

#12081 · opened May 18, 2016 by MichaelK Pnormal Trac import TypeInType bug compiler crash 5
- CLOSED
- 5
updated Jul 07, 2019
Notify user to import * from Data.Kind with TypeInType on

#12029 · opened May 07, 2016 by Icelandjack GHCi Plow Trac import TypeInType feature request 0
- CLOSED
- 6
updated Jul 07, 2019
Without TypeInType, inconsistently accepts Data.Kind.Type but not type synonym

#11964 · opened Apr 20, 2016 by Edward Z. Yang Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 3
updated Jul 07, 2019
Support induction recursion

#11962 · opened Apr 20, 2016 by Richard Eisenberg Pnormal Trac import TypeInType feature request 5
- 19
updated Jan 06, 2020
Poor error message

#11672 · opened Mar 04, 2016 by Adam Gundry Pnormal Trac import TypeInType bug error messages typechecker 5
- CLOSED
- 2
updated Jul 07, 2019
panic: isInjectiveTyCon sees a TcTyCon

#11560 · opened Feb 08, 2016 by rwbarton Pnormal Trac import TypeInType bug compiler crash typechecker 5
- CLOSED
- 8
updated Jul 07, 2019
Kinds in type synonym/data declarations can unexpectedly unify

#11453 · opened Jan 18, 2016 by Ryan Scott Pnormal Trac import TypeInType bug error messages typechecker 5
- CLOSED
- 1
updated Jul 07, 2019
Quantification over unlifted type variable

#11410 · opened Jan 12, 2016 by Richard Eisenberg Pnormal Trac import TypeInType bug 5
- CLOSED
- 3
updated Jul 07, 2019

Prev
1
…
8
9
10
11
12
Next