Issues · Glasgow Haskell Compiler / GHC · GitLab

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
- 0
updated Jul 05, 2020
TemplateHaskellQuotes and RebindableSyntax don't play nicely

#18102 · opened Apr 26, 2020 by Richard Eisenberg Pnormal RebindableSyntax TemplateHaskell bug program incorrectly rejected
- 1
- 12
updated Jul 02, 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 ImpredicativeTypes Pnormal program incorrectly rejected
- 1
updated Nov 05, 2019
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
Backpack signatures fail to compile when referencing class associated types with defaults

#17190 · opened Sep 12, 2019 by Edward Kmett backpack bug program incorrectly rejected
- 1
- 8
updated Nov 25, 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