Issues · Glasgow Haskell Compiler / GHC · GitLab

Notify user to import * from Data.Kind with TypeInType on

#12029 · opened May 07, 2016 by Icelandjack 0 GHCi Plow Trac import TypeInType feature request
- 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 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Poor error message

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

#11560 · opened Feb 08, 2016 by rwbarton 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Self quantification in GADT data declarations

#11554 · opened Feb 07, 2016 by Rafbill 7 Phigh Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 18
updated Sep 19, 2020
Kinds in type synonym/data declarations can unexpectedly unify

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

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

Prev
1
…
7
8
9
10
11
Next