Issues · Glasgow Haskell Compiler / GHC · GitLab

Empty case does not detect kinds

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

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

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

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

#14203 · opened Sep 08, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 19
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
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
`:kind` suppresses visible dependent quantifiers by default in GHCi 8.2.1

#14238 · opened Sep 15, 2017 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug incorrect runtime result typechecker
- CLOSED
- 4
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
Higher-rank kind ascription oddities

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

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

#14394 · opened Oct 27, 2017 by Ryan Scott 5 Pnormal PatternSynonyms Trac import TypeInType bug typechecker
- CLOSED
- 1
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
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
Core Lint error with Type.Reflection and pattern synonyms

#14507 · opened Nov 22, 2017 by Icelandjack 10 Phighest PatternSynonyms Trac import TypeInType bug
- CLOSED
- 7
updated Jul 07, 2019
"Same" higher-rank kind synonyms behave differently

#14515 · opened Nov 23, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
GHC panic (TypeInType)

#14520 · opened Nov 24, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 1
updated Jul 07, 2019
GHC panic on pattern synonym

#14552 · opened Dec 02, 2017 by Icelandjack 5 Pnormal PatternSynonyms Trac import TypeInType ViewPatterns bug
- CLOSED
- 8
updated Jul 07, 2019
GHC Panic with TypeInType / levity polymorphism

#14555 · opened Dec 04, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug levity polymorphism
- CLOSED
- 3
updated Jul 07, 2019
Core Lint error: Ill-kinded result in coercion

#14556 · opened Dec 05, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 3
updated Jul 07, 2019

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