Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Unbound record/field names in Template Haskell Quotes

#19312 · opened Feb 03, 2021 by Adam Gundry Pnormal Tbug TemplateHaskell program incorrectly rejected records
- 4
updated Apr 07, 2021
Core lint error (with flags: -O2 -fobject-code -fstatic-argument-transformation -dcore-lint)

#19285 · opened Jan 30, 2021 by Icelandjack Tbug compiler crash core lint program incorrectly rejected static argument transformation
- 4
updated Mar 16, 2021
False positives from -Wincomplete-record-updates

#19084 · opened Dec 18, 2020 by Joseph C. Sible Pnormal Tbug error messages pattern match warnings program incorrectly rejected
- 3
updated Jan 12, 2021
Types with different forall placements don't unify with QL ImpredicativeTypes

#18759 · opened Sep 28, 2020 by Andrzej Rybczak FunctionalDependencies ImpredicativeTypes Pnormal Tbug program incorrectly rejected records
- 53
updated Dec 31, 2020
RebindableSyntax cannot defer-out-of-scope-variables

#18636 · opened Sep 01, 2020 by Richard Eisenberg Pnormal RebindableSyntax Tbug deferred type errors program incorrectly rejected
- 1
- 0
updated Feb 16, 2021
Untouchable variable in unused let binding

#18531 · opened Aug 04, 2020 by Matt Noonan GADTs Pnormal Tbug 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 Tbug 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 Tbug TemplateHaskell program incorrectly rejected typed TemplateHaskell
- 1
- 14
updated Feb 05, 2021
ApplicativeDo requires Monad constraint in recursive definition

#17971 · opened Mar 28, 2020 by Manuel Bärenz ApplicativeDo Pnormal Tbug 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 Tbug program incorrectly rejected
- 5
updated Apr 08, 2020
ApplicativeDo breaks compilation with a rank2 let

#17768 · opened Jan 31, 2020 by Kirill Elagin ApplicativeDo Pnormal RankNTypes Tbug 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 Tbug 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 Tbug program incorrectly rejected
- 1
updated Mar 24, 2021
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
Coercible solver does not look through "class newtypes"

#17333 · opened Oct 09, 2019 by Ryan Scott Coercible Pnormal Tbug program incorrectly rejected typechecker
- 5
updated Feb 16, 2021
Trivial exhaustiveness checking for view patterns and guards

#17208 · opened Sep 18, 2019 by Sebastian Graf 5 Pnormal Tbug pattern match warnings program incorrectly rejected
- 1
- 2
updated Jan 28, 2021
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 Tbug TypeFamilies program incorrectly rejected typechecker
- 5
updated Jan 23, 2020