Issues · Glasgow Haskell Compiler / GHC · GitLab

GHCi >= 9.2.1 prints type signatures containing type families in an ugly way

#20974 · created Jan 20, 2022 by Andrzej Rybczak 9.2.2 GHCi Pnormal Tbug pretty printing typechecker
- CLOSED
- 3
- 13
updated May 20, 2022
GHC panic

#21479 · created May 03, 2022 by Icelandjack 9.2.3 Pnormal Tbug compiler crash typechecker
- CLOSED
- 2
- 5
updated May 19, 2022
ghc.exe: panic! (the 'impossible' happened) using a data family in GHC 9.0.1

#21581 · created May 16, 2022 by UltimateDude101 No skolem info Pnormal Tbug typechecker
- CLOSED
- 2
updated May 18, 2022
mightEqualLater finds an unbound cbv

#20231 · created Aug 14, 2021 by YellPika 9.2.2 Phigh Tbug typechecker
- CLOSED
- 2
- 9
updated May 09, 2022
TypeInType is marked as deprecated but has no warning on usage.

#21500 · created May 04, 2022 by Trevis Elser Pnormal Tbug typechecker
- CLOSED
- 1
updated May 05, 2022
GHC sessions (--make, --interactive, GHC API) erroneously retain instances

#2182 · created Mar 28, 2008 by claus.reinke@talk21.com 7.10.1 5 GHCi Pnormal Tbug Trac import typechecker
- CLOSED
- 14
updated Apr 29, 2022
Add syntactic equality relation

#21239 · created Mar 16, 2022 by sheaf Pnormal Ttask constraint solver representation polymorphism typechecker
- CLOSED
- 9
- 5
updated Apr 28, 2022
Hole-y partial type signatures greatly slow down compile times

#14766 · created Feb 06, 2018 by Alec Theriault 5 Pnormal Tbug Trac import compiler perf partial type sigs typechecker
- CLOSED
- 3
- 21
updated Apr 28, 2022
decideMonoTyVars doesn't handle coercion variables in "candidates"

#21404 · created Apr 19, 2022 by sheaf Pnormal Tquestion defaulting representation polymorphism typechecker
- CLOSED
- 3
- 3
updated Apr 27, 2022
Assertion in reportWanteds is too strict

#21405 · created Apr 20, 2022 by sheaf Pnormal Tbug error messages typechecker
- CLOSED
- 2
- 2
updated Apr 27, 2022
Use ConcreteTv for metavariables that must only be unified with concrete types

#20972 · created Jan 20, 2022 by sheaf Pnormal Tbug representation polymorphism typechecker
- CLOSED
- 2
updated Apr 14, 2022
Improve instantiation of datacons

#18481 · created Jul 20, 2020 by Krzysztof Gogolewski LinearTypes Ttask typechecker
- CLOSED
- 1
- 6
updated Apr 12, 2022
Definition of heterogeneous equality rejected unless using a SAKS

#21126 · created Feb 23, 2022 by sheaf 9.4.1 CUSKs GADTs Pnormal StandaloneKindSignatures Ttask documentation typechecker
- CLOSED
- 6
updated Apr 07, 2022
Allow foreign prim to return Any

#10460 · created May 29, 2015 by Edward Z. Yang 8.0.1 5 Pnormal Tfeature request Trac import typechecker
- CLOSED
- 6
updated Mar 28, 2022
GHC doesn't notice some overlapping instances (regression)

#21208 · created Mar 09, 2022 by Richard Eisenberg 9.2.3 Phigh Tbug program incorrectly accepted regression typechecker
- CLOSED
- 16
- 1
- 6
updated Mar 28, 2022
Quantified constraint blocks functional dependency

#21209 · created Mar 09, 2022 by Richard Eisenberg FunctionalDependencies Plow QuantifiedConstraints Tbug typechecker
- CLOSED
- 3
updated Mar 25, 2022
GHC accepts two names for the same kind variable

#20916 · created Jan 07, 2022 by Simon Peyton Jones Pnormal StandaloneKindSignatures Tbug program incorrectly accepted typechecker
- CLOSED
- 1
- 4
updated Mar 22, 2022
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · created Jul 27, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeFamilies TypeInType compiler crash partial type sigs typechecker typed holes
- CLOSED
- 20
updated Mar 22, 2022
No skolem info panic involving typed hole

#20063 · created Jun 29, 2021 by sheaf No skolem info Pnormal Tbug compiler crash typechecker typed holes
- CLOSED
- 3
updated Mar 22, 2022
Order-dependent type inference due to Note [Instance and Given overlap]

#18910 · created Oct 30, 2020 by Richard Eisenberg Pnormal Tbug TypeFamilies constraint solver typechecker
- CLOSED
- 3
- 5
updated Mar 15, 2022

Prev
1
2
3
4
5
…
53
Next