Issues · Glasgow Haskell Compiler / GHC · GitLab

Weird behaviour with `tcIfaceExpr`

#19787 · opened May 03, 2021 by Josh Meredith GHC API Pnormal Tbug typechecker
- 9
updated May 03, 2021
In-scope check for type variables can be confusing in presence of runtime representation polymorphism

#19765 · opened Apr 28, 2021 by Richard Eisenberg Plow error messages typechecker
- 3
updated Apr 29, 2021
Unexpected type-checking behavior with let and DataKinds

#19726 · opened Apr 21, 2021 by benjamin Pnormal Tbug program incorrectly rejected typechecker
- 10
updated May 06, 2021
Bottom dictionaries can be derived with QuantifiedConstraints, UndecidableInstances and UndecidableSuperClasses

#19690 · opened Apr 12, 2021 by aadaa-fgtaa Pnormal QuantifiedConstraints Tbug UndecidableSuperClasses typechecker
- 5
updated Apr 16, 2021
Constraint solver regression in 9.2

#19682 · opened Apr 10, 2021 by Andres Löh 9.2.1 Phigh Tbug constraint solver typechecker
- 1
- 4
updated May 06, 2021
GHC does not rewrite in FunTy

#19677 · opened Apr 09, 2021 by Richard Eisenberg Pnormal Tbug TypeInType constraint solver levity polymorphism program incorrectly rejected typechecker
- 0
updated Apr 12, 2021
runExists: a type-level version of runRW

#19675 · opened Apr 09, 2021 by Simon Peyton Jones Plow Tfeature request typechecker
- 3
updated Apr 09, 2021
GHC's failure to rewrite in coercions & kinds leads to spurious occurs-check failure

#19652 · opened Apr 05, 2021 by Richard Eisenberg Plow Tbug TypeInType constraint solver typechecker
- 0
updated Apr 08, 2021
Implement type family reduction via term-level functions

#19634 · opened Apr 02, 2021 by Rinat Striungis 9.4.1 Tfeature request TypeFamilies typechecker
- 1
- 2
updated Apr 09, 2021
The GHCi debugger loses type constraints

#19559 · opened Mar 18, 2021 by Roland Senn GHCi Pnormal Tbug debugger typechecker
- 5
updated Apr 15, 2021
Dead suggestion for -XUnliftedNewtypes in checkNewDataCon

#19503 · opened Mar 08, 2021 by Sebastian Graf needs triage typechecker
- 2
updated Mar 08, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · opened Mar 04, 2021 by Sebastian Graf UnliftedDatatypes core lint levity polymorphism typechecker
- 16
updated May 06, 2021
"No skolem info" with the infinite kind

#19482 · opened Mar 03, 2021 by Rinat Striungis 9.2.1 Pnormal Tbug compiler crash typechecker
- 1
updated Mar 29, 2021
Deprecate `-Winaccessible-code`

#19428 · opened Feb 23, 2021 by Sebastian Graf Ttask pattern match warnings typechecker
- 3
updated May 05, 2021
E-Graphs for representation of normalised refinement types in the pattern-match checker

#19272 · opened Jan 28, 2021 by Sebastian Graf Ttask pattern match warnings simplifier typechecker
- 1
updated Jan 29, 2021
Incorrect documentation around EqualCtList

#19137 · opened Dec 30, 2020 by Richard Eisenberg constraint solver typechecker
- 0
updated Dec 30, 2020
Does the sub-type check in Note [Impedance matching] ever fail?

#19131 · opened Dec 27, 2020 by Richard Eisenberg Ttask typechecker
- 3
updated Feb 17, 2021
Make the canonicaliser do unification

#19060 · opened Dec 14, 2020 by Simon Peyton Jones Ttask typechecker
- 0
updated Dec 14, 2020
Allow named wildcards in constraints

#19051 · opened Dec 10, 2020 by sheaf partial type sigs typechecker
- 8
updated Dec 23, 2020
Type wildcard infers differently than no type signature

#19013 · opened Dec 01, 2020 by dminuoso Pnormal Tbug partial type sigs typechecker
- 1
updated Dec 10, 2020

Prev
1
2
3
4
5
…
14
Next