Issues · Glasgow Haskell Compiler / GHC · GitLab

Inlining a definition causes GHC to panic (repSplitTyConApp_maybe)

#13910 · created Jul 01, 2017 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
Can't apply higher-ranked kind in type family

#13913 · created Jul 02, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 3
updated Jul 07, 2019
GHC 8.2 regression: "Can't find interface-file declaration" for promoted data family instance

#13915 · created Jul 02, 2017 by Ryan Scott 8.2.1 7 Phigh Tbug Trac import TypeFamilies TypeInType Typeable
- CLOSED
- 5
updated Jul 07, 2019
Iface type variable out of scope: k1

#13938 · created Jul 07, 2017 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeApplications TypeInType error messages typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC 8.2 error message around indexes for associated type instances is baffling

#13972 · created Jul 13, 2017 by Ryan Scott 8.4.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType error messages typechecker
- CLOSED
- 2
updated Jul 07, 2019
GADT constructor with kind equality constraint quantifies unused existential type variables

#13988 · created Jul 17, 2017 by Ryan Scott 8.4.1 5 Pnormal Tbug Trac import TypeInType incorrect runtime result typechecker
- CLOSED
- 7
updated Jul 07, 2019
Empty case does not detect kinds

#14086 · created Aug 03, 2017 by David Feuer 8.4.1 3 Plow Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
Core Lint error

#14162 · created Aug 27, 2017 by Icelandjack 8.2.2 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 7
updated Jul 07, 2019
GHC panic with TypeInType and type family

#14174 · created Aug 31, 2017 by David Feuer 8.2.3 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
Panic repSplitTyConApp_maybe

#14175 · created Aug 31, 2017 by David Feuer 8.2.2 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 10
updated Jul 07, 2019
GHC-inferred type signature doesn't actually typecheck

#14203 · created Sep 08, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 19
updated Jul 07, 2019
GHC 8.2.1 regression involving telescoping kind signature

#14209 · created Sep 09, 2017 by Ryan Scott 8.4.1 7 Phigh Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 07, 2019
Gruesome kind mismatch errors for associated data family instances

#14230 · created Sep 14, 2017 by Ryan Scott 8.8.1 7 Phigh Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 6
updated Jul 07, 2019
`:kind` suppresses visible dependent quantifiers by default in GHCi 8.2.1

#14238 · created Sep 15, 2017 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType incorrect runtime result typechecker
- CLOSED
- 4
updated Jul 07, 2019
Infinite loop when typechecking incorrect implementation (GHC HEAD only)

#14350 · created Oct 13, 2017 by Ryan Scott 8.4.1 7 Phigh Tbug Trac import TypeInType typechecker
- CLOSED
- 3
updated Jul 07, 2019
Higher-rank kind ascription oddities

#14352 · created Oct 14, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 2
updated Jul 07, 2019
Type family equation refuses to unify wildcard type patterns

#14366 · created Oct 18, 2017 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 8
updated Jul 07, 2019
Inferred type for pattern synonym has redundant equality constraint

#14394 · created Oct 27, 2017 by Ryan Scott 5 Pnormal PatternSynonyms Tbug Trac import TypeInType typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC HEAD regression involving type families in kinds

#14441 · created Nov 08, 2017 by Ryan Scott 8.4.1 7 Phigh Tbug Trac import TypeFamilies TypeInType
- CLOSED
- 5
updated Jul 07, 2019
GHCi spins forever

#14450 · created Nov 11, 2017 by Icelandjack 8.4.1 7 Phigh PolyKinds Tbug Trac import TypeInType compiler perf
- CLOSED
- 9
updated Jul 07, 2019

Prev
1
…
3
4
5
6
7
8
9
10
11
Next