Issues · Glasgow Haskell Compiler / GHC · GitLab

"No skolem info" panic with PolyKinds

#17841 · opened Feb 16, 2020 by Jakob Brünker 8.10.2 PolyKinds Tbug compiler crash typechecker
- CLOSED
- 1
- 3
updated Oct 19, 2020
Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical

#17827 · opened Feb 12, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 2
- 1
updated Feb 14, 2020
Instantiation doesn't look through dictionaries

#17789 · opened Feb 05, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 1
updated Feb 05, 2020
CUSK-less class typechecks on 8.4, but not on 8.6+

#17772 · opened Jan 31, 2020 by Ryan Scott PolyKinds Tbug TypeFamilies typechecker
- CLOSED
- 2
- 5
updated Mar 31, 2021
Poly-kinded rewrite rule fails to typecheck (HEAD only)

#17710 · opened Jan 19, 2020 by Ryan Scott 9.0.1 10 Phighest PolyKinds Tbug rules typechecker
- CLOSED
- 2
- 9
updated Mar 15, 2020
Never kick out Given Nominal equalities

#17672 · opened Jan 13, 2020 by Richard Eisenberg Ttask typechecker
- CLOSED
- 7
- 2
updated Apr 13, 2021
Closed type family declaration accepts any name in LHS

#17633 · opened Jan 03, 2020 by Maxim Koltsov 8.8.1 Pnormal Tbug TypeFamilies program incorrectly accepted typechecker
- CLOSED
- 1
- 2
- 2
updated Jan 03, 2020
Evidence for equality constraints on typeclass methods isn’t erased

#17625 · opened Dec 29, 2019 by Alexis King Pnormal Tbug typechecker
- CLOSED
- 10
updated Jan 08, 2020
Never `Any`-ify during kind inference

#17567 · opened Dec 11, 2019 by Richard Eisenberg Ttask TypeInType typechecker
- CLOSED
- 2
- 1
- 11
updated Jan 11, 2021
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints Tbug TypeInType error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021
Regression involving unboxed types and type families

#17541 · opened Dec 04, 2019 by Matthew Pickering Pnormal Tbug TypeInType program incorrectly rejected typechecker
- CLOSED
- 2
- 9
updated Dec 12, 2019
`tcMatchTy` is terribly broken

#17395 · opened Oct 23, 2019 by Simon Peyton Jones 8.10.1 Pnormal Tbug typechecker
- CLOSED
- 2
- 1
updated Nov 01, 2019
Let-bound wildcards are not let-generalised

#17367 · opened Oct 16, 2019 by Sebastian Graf typechecker
- CLOSED
- 7
updated Feb 05, 2020
BangPatterns in PatternGuards don't work like docs would suggest

#17343 · opened Oct 11, 2019 by Jakob Brünker 8.10.1 3 Plow typechecker
- CLOSED
- 2
- 6
updated Oct 16, 2019
GHC.TypeLits.TypeError can print 'GHC.Types.Any' when existentials are involved

#17301 · opened Oct 04, 2019 by sheaf Pnormal Tbug error messages typechecker
- CLOSED
- 2
- 5
updated Jan 11, 2021
Rank-n-types without -XRankNTypes

#17213 · opened Sep 19, 2019 by Krzysztof Gogolewski 8.10.1 RankNTypes Tbug typechecker
- CLOSED
- 2
- 0
updated Jul 14, 2020
GHC does not use quantified constraint from transitive superclass

#17202 · opened Sep 18, 2019 by Alexis King Pnormal QuantifiedConstraints Tbug typechecker
- CLOSED
- 2
- 13
updated Mar 19, 2020
Enormous error message when importing seemingly unused module

#17139 · opened Aug 30, 2019 by Ryan Scott error messages typechecker
- CLOSED
- 5
updated Dec 26, 2020
GHC unexpectedly reports variable as untouchable and suggests -XAmbiguousTypes after enabling constraints via associated type family under rank2 argument

#17105 · opened Aug 23, 2019 by Sergey Vinokurov Tquestion typechecker
- CLOSED
- 7
updated Sep 02, 2019
"Quantification by level numbers would fail" for an ill-kinded signature

#17077 · opened Aug 19, 2019 by Vladislav Zavialov 8.10.1 Tbug typechecker
- CLOSED
- 5
updated Sep 24, 2019

Prev
1
2
3
4
5
6
7
…
50
Next