Issues · Glasgow Haskell Compiler / GHC · GitLab

Visibility mismatch between data declaration and kind signature, accepted!

#18863 · opened Oct 19, 2020 by Icelandjack 9.2.1 needs triage typechecker
- CLOSED
- 2
- 6
updated Oct 31, 2020
Non-confluence in the solver

#18851 · opened Oct 15, 2020 by Richard Eisenberg FunctionalDependencies Pnormal UndecideableInstances bug constraint solver typechecker
- 41
updated Jan 04, 2021
Instance/given overlap trips up the ambiguity check

#18850 · opened Oct 15, 2020 by Richard Eisenberg OverlappingInstances ambiguity check typechecker
- 5
updated Oct 29, 2020
Typecheck record update via desugaring

#18802 · opened Oct 05, 2020 by Simon Peyton Jones records task typechecker
- 2
updated Oct 05, 2020
Tighten up the treatment of loose types in the solver

#18753 · opened Sep 26, 2020 by Richard Eisenberg TypeInType constraint solver typechecker
- CLOSED
- 3
- 1
updated Sep 30, 2020
Infer multiplicity of let expression

#18739 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 6
updated Sep 28, 2020
Infer multiplicity of case expression

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 1
updated Mar 01, 2021
ThBrackCtxt is unused

#18715 · opened Sep 18, 2020 by Ryan Scott TemplateHaskell typechecker
- CLOSED
- 2
- 3
updated Sep 21, 2020
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · opened Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 2020
Incremental `tcCheckSatisfiability` API

#18645 · opened Sep 03, 2020 by Sebastian Graf needs triage pattern match warnings task typechecker
- CLOSED
- 2
- 0
updated Sep 14, 2020
Kind error when using partial type signatures

#18542 · opened Aug 05, 2020 by lennart@augustsson.net 9.2.1 Pnormal bug program incorrectly rejected typechecker
- CLOSED
- 4
updated Aug 06, 2020
GHC fails to infer type with FlexibleContexts

#18529 · opened Aug 03, 2020 by Richard Eisenberg Pnormal bug program incorrectly rejected typechecker
- 0
updated Sep 30, 2020
Improve instantiation of datacons

#18481 · opened Jul 20, 2020 by Krzysztof Gogolewski LinearTypes task typechecker
- 1
updated Jul 21, 2020
"equirecursive" type family leads to stack overflow in ghci

#18456 · opened Jul 15, 2020 by Xia Li-yao GHCi Pnormal TypeFamilies bug compiler crash typechecker
- 2
updated Jul 17, 2020
Infinite loop during kind inference

#18451 · opened Jul 14, 2020 by Simon Peyton Jones Pnormal bug compiler crash typechecker
- CLOSED
- 1
- 7
updated Jul 27, 2020
Pattern guards can break linearity

#18439 · opened Jul 10, 2020 by Arnaud Spiwack LinearTypes bug typechecker
- CLOSED
- 5
- 4
updated Jan 08, 2021
Suboptimal constraint solving

#18413 · opened Jul 02, 2020 by Simon Peyton Jones compiler perf constraint solver task typechecker
- 4
updated Nov 09, 2020
Monotype check for case branches should not recur through arrows

#18412 · opened Jul 01, 2020 by Richard Eisenberg Pnormal RankNTypes bug program incorrectly rejected typechecker
- CLOSED
- 2
updated Jul 20, 2020
Functional dependency should constrain local inferred type, but does not

#18406 · opened Jun 29, 2020 by Richard Eisenberg FunctionalDependencies Pnormal bug typechecker
- 4
updated Jul 20, 2020
Record update is over-restrictive

#18311 · opened Jun 08, 2020 by Simon Peyton Jones Pnormal bug records typechecker
- 0
updated Oct 05, 2020

Prev
1
2
3
4
5
6
7
8
…
63
Next