Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC could not deduce constraint from itself

#18704 · opened Sep 17, 2020 by rybochodonezzar Pnormal bug typechecker
- 1
- 3
updated Sep 30, 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
Order of StandaloneKindSignatures and CUSKs extensions significant

#18308 · opened Jun 07, 2020 by Björn Hegerfors CUSKs Pnormal StandaloneKindSignatures TypeInType bug typechecker
- 5
updated Jun 26, 2020
UnliftedNewtypesDifficultUnification broken due to simplified subsumption

#18300 · opened Jun 04, 2020 by Ben Gamari 9.0.1 Phigh broken test bug typechecker
- CLOSED
- 2
- 1
updated Jul 03, 2020
Outdated commentary in solveNestedImplications?

#18295 · opened Jun 03, 2020 by Richard Eisenberg documentation task typechecker
- 2
updated Jun 04, 2020
Improve Coercible under foralls

#18220 · opened May 22, 2020 by Simon Peyton Jones typechecker
- 0
updated May 22, 2020
Type synonym lost with GADTs

#18196 · opened May 17, 2020 by Identical Snowflake GADTs Pnormal bug typechecker
- 1
updated May 18, 2020
Eta-expansion of a left-section

#18151 · opened May 06, 2020 by Richard Eisenberg 9.0.1 Pnormal bug incorrect runtime result report impact typechecker
- CLOSED
- 1
- 8
updated Jan 12, 2021
Out-of-date commentary in Tc.Deriv.Infer

#18073 · opened Apr 18, 2020 by Richard Eisenberg deriving task typechecker
- CLOSED
- 2
- 4
updated Apr 23, 2020

Prev
1
2
3
4
5
6
7
…
63
Next