Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 9.0+ regression in checking program with higher-rank kinds

#18855 · opened Oct 16, 2020 by Ryan Scott 9.0.1 Phighest PolyKinds RankNTypes backport needed:9.0 bug program incorrectly rejected
- 3
updated Oct 27, 2020
Types with different forall placements don't unify with QL ImpredicativeTypes

#18759 · opened Sep 28, 2020 by Andrzej Rybczak FunctionalDependencies ImpredicativeTypes Pnormal bug program incorrectly rejected records
- 40
updated Oct 29, 2020
Untouchable variable in unused let binding

#18531 · opened Aug 04, 2020 by Matt Noonan GADTs Pnormal bug error messages program incorrectly rejected
- 4
updated Sep 30, 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
TemplateHaskellQuotes and RebindableSyntax don't play nicely

#18102 · opened Apr 26, 2020 by Richard Eisenberg Pnormal RebindableSyntax TemplateHaskell bug program incorrectly rejected typed TemplateHaskell
- 1
- 14
updated Aug 05, 2020
ApplicativeDo requires Monad constraint in recursive definition

#17971 · opened Mar 28, 2020 by Manuel Bärenz ApplicativeDo Pnormal bug program incorrectly rejected
- 1
updated Apr 08, 2020
Cannot use Type Synonym with QuantifiedConstraints in GHC 8.8: "Illegal type synonym family application"

#17959 · opened Mar 25, 2020 by Fabio Mogavero Pnormal QuantifiedConstraints bug program incorrectly rejected
- 5
updated Apr 08, 2020
DuplicateRecordFields trigger false import warnings

#17853 · opened Feb 17, 2020 by parsonsmatt OverloadedRecordFields Plow bug error messages program incorrectly rejected
- 1
- 1
updated Feb 25, 2020
ApplicativeDo breaks compilation with a rank2 let

#17768 · opened Jan 31, 2020 by Kirill Elagin ApplicativeDo Pnormal RankNTypes bug program incorrectly rejected
- 1
- 6
updated Jun 25, 2020
Levity-polymorphism checker is too aggressive for uses of `coerce` on levity-polymorphic newtypes

#17670 · opened Jan 13, 2020 by Alexis King Pnormal bug levity polymorphism program incorrectly rejected
- 9
updated Jun 19, 2020
Defaulting of RuntimeRep in type families is incorrect

#17536 · opened Dec 02, 2019 by Krzysztof Gogolewski Pnormal bug program incorrectly rejected
- 1
updated Mar 10, 2020
Strange type equality solving failures with ImpredicativeTypes

#17372 · opened Oct 17, 2019 by Jakob Brünker Pnormal program incorrectly rejected
- 2
updated Jul 17, 2020
Trivial exhaustiveness checking for view patterns and guards

#17208 · opened Sep 18, 2019 by Sebastian Graf Pnormal bug pattern match warnings program incorrectly rejected 5
- 1
- 2
updated Oct 09, 2019
Instance decidability + Quantified Constraints

#16730 · opened Jun 01, 2019 by Will Yager QuantifiedConstraints program incorrectly rejected
- 3
updated Jun 18, 2019
Order of declarations affects which programs are accepted (type families and existentials)

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