Issues · Glasgow Haskell Compiler / GHC · GitLab

Poor interaction between functional dependencies and partial type signatures

#17024 · opened Aug 04, 2019 by David Feuer FunctionalDependencies Pnormal Tbug partial type sigs program incorrectly rejected typechecker
- CLOSED
- 2
- 12
updated Mar 12, 2020
Break out TcTyVar into its own type

#16982 · opened Jul 25, 2019 by Richard Eisenberg Pnormal Ttask typechecker
- 3
updated Aug 01, 2019
More of Note [Let-bound skolems]

#16967 · opened Jul 22, 2019 by Richard Eisenberg Pnormal Tfeature request typechecker
- 1
updated Aug 01, 2019
Type error being deferred to other values

#16954 · opened Jul 18, 2019 by Some Guy Pnormal typechecker
- 0
updated Jan 23, 2020
Refactor Ct and friends

#16947 · opened Jul 16, 2019 by Richard Eisenberg 9.2.1 Pnormal Ttask typechecker
- 0
updated Jan 22, 2021
"No skolem info"

#16946 · opened Jul 16, 2019 by cactus Tbug typechecker
- CLOSED
- 4
updated Jul 26, 2019
GHCi panics using -fdefer-type-errors when pattern matching on types with multiple constructors using out-of-scope variables

#16877 · opened Jun 26, 2019 by Berengal 8.8.2 Tbug deferred type errors typechecker
- CLOSED
- 5
updated Feb 18, 2020
Don't zap naughty quantification candidates: error instead

#16775 · opened Jun 07, 2019 by Richard Eisenberg 8.8.2 Tbug partial type sigs typechecker
- CLOSED
- 13
- 9
updated Dec 15, 2020
Quantification by level numbers would fail

#16767 · opened Jun 06, 2019 by Richard Eisenberg Tbug typechecker
- CLOSED
- 2
updated Oct 14, 2019
Prevent `rewriteEvidence` from converting a W into a WD

#16735 · opened Jun 02, 2019 by nfrisby Tbug typechecker
- 1
- 2
updated Jan 23, 2020
Order of declarations affects which programs are accepted (type families and existentials)

#16693 · opened May 24, 2019 by Iavor S. Diatchki ExistentialQuantification Tbug TypeFamilies program incorrectly rejected typechecker
- 5
updated Jan 23, 2020
Relax local equality check

#16684 · opened May 22, 2019 by Iavor S. Diatchki GADTs TypeFamilies typechecker
- 3
updated May 23, 2019
Multiple occurrences of the same polykinded type don't unify

#16675 · opened May 20, 2019 by Christopher Rodrigues Tquestion documentation typechecker
- 11
updated May 31, 2019
incorrect type-defaults warning for lambda expressions

#16651 · opened May 12, 2019 by george.colpitts Tquestion typechecker
- CLOSED
- 2
updated May 19, 2019
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov Tbug TypeInType typechecker
- 1
- 22
updated Sep 25, 2019
Pass separation for TyClDecl LHS and RHS

#16630 · opened May 06, 2019 by Vladislav Zavialov Tquestion typechecker
- CLOSED
- 5
updated May 19, 2019
Trouble resolving Typeable 'LiftedRep

#16627 · opened May 03, 2019 by David Feuer Tbug Typeable typechecker
- 11
updated Jan 08, 2021
Only skip decls with CUSKs in kcLTyClDecl with PolyKinds on

#16609 · opened Apr 29, 2019 by Ningning Xie 8.10.1 CUSKs Tbug typechecker
- CLOSED
- 5
- 8
updated Nov 02, 2020
Can't write instances of higher-rank kinded variables

#16596 · opened Apr 20, 2019 by Icelandjack Tquestion typechecker
- CLOSED
- 3
updated May 19, 2019
Pattern matching breaks injective type families

#16436 · opened Mar 14, 2019 by Vladislav Zavialov injective type families typechecker
- 7
updated Dec 21, 2019

Prev
1
…
59
60
61
62
63
Next