Issues · Glasgow Haskell Compiler / GHC · GitLab

:kind command hides the explicit kind

#11252 · opened Dec 18, 2015 by Icelandjack 8.0.1 5 GHCi Pnormal Trac import TypeInType feature request
- CLOSED
- 6
updated Jul 07, 2019
Kind-level PartialTypeSignatures causes internal error

#11241 · opened Dec 17, 2015 by Adam Gundry 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Bug with PolyKinds, type synonyms & GADTs

#7503 · opened Dec 16, 2012 by Ashley Yakeley 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- 8
updated Jul 07, 2019
TypeApplications-related infinite loop (GHC 8.6+ only)

#15577 · opened Aug 29, 2018 by Ryan Scott 8.8.2 7 Phigh Trac import TypeApplications TypeInType bug compiler perf typechecker
- CLOSED
- 14
updated Aug 30, 2019
Oversaturated type family application panicks GHC (piResultTys2)

#15428 · opened Jul 21, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeFamilies TypeInType bug compiler crash
- CLOSED
- 5
updated Jul 07, 2019
Infinite typechecker loop in GHC 8.6

#15380 · opened Jul 14, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeFamilies TypeInType bug compiler perf typechecker
- CLOSED
- 7
updated Jul 07, 2019
Typed hole panic on GHC 8.6 (tcTyVarDetails)

#15370 · opened Jul 12, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeInType bug compiler crash typechecker typed holes
- CLOSED
- 1
- 15
updated Jul 07, 2019
Implicitly quantifying a kind variable causes GHC 8.6 to panic (coercionKind)

#15343 · opened Jul 04, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC HEAD regression: cannot instantiate higher-rank kind

#15079 · opened Apr 23, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeInType bug typechecker
- CLOSED
- 10
updated Oct 31, 2020
GHC HEAD regression involving TYPEs in type families

#14991 · opened Apr 02, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
GHC 8.4.1-alpha regression with TypeInType

#14720 · opened Jan 25, 2018 by Ryan Scott 8.4.1 7 Phigh Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHCi spins forever

#14450 · opened Nov 11, 2017 by Icelandjack 8.4.1 7 Phigh PolyKinds Trac import TypeInType bug compiler perf
- CLOSED
- 9
updated Jul 07, 2019
GHC HEAD regression involving type families in kinds

#14441 · opened Nov 08, 2017 by Ryan Scott 8.4.1 7 Phigh Trac import TypeFamilies TypeInType bug
- CLOSED
- 5
updated Jul 07, 2019
Infinite loop when typechecking incorrect implementation (GHC HEAD only)

#14350 · opened Oct 13, 2017 by Ryan Scott 8.4.1 7 Phigh Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Gruesome kind mismatch errors for associated data family instances

#14230 · opened Sep 14, 2017 by Ryan Scott 8.8.1 7 Phigh Trac import TypeInType bug error messages typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC 8.2.1 regression involving telescoping kind signature

#14209 · opened Sep 09, 2017 by Ryan Scott 8.4.1 7 Phigh Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHC 8.2 regression: "Can't find interface-file declaration" for promoted data family instance

#13915 · opened Jul 02, 2017 by Ryan Scott 8.2.1 7 Phigh Trac import TypeFamilies TypeInType Typeable bug
- CLOSED
- 5
updated Jul 07, 2019
GHC panic in 8.2 only: typeIsTypeable(Coercion)

#13871 · opened Jun 23, 2017 by Ryan Scott 8.2.1 7 Phigh Trac import TypeInType Typeable bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
Implement KPush in types

#13650 · opened May 05, 2017 by Richard Eisenberg 8.6.1 7 Phigh Trac import TypeInType task
- 3
updated Jul 07, 2019
Typechecker regression when combining PolyKinds and MonoLocalBinds

#13555 · opened Apr 09, 2017 by Ryan Scott 8.2.1 7 Phigh Trac import TypeInType bug typechecker
- CLOSED
- 11
updated Jul 07, 2019

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