Issues · Glasgow Haskell Compiler / GHC · GitLab

Simplified subsumption hurts ImplicitParams usability

#20818 · created Dec 13, 2021 by jchia ImplicitParams ImpredicativeTypes Pnormal Tbug typechecker
- 2
updated Dec 14, 2021
Take a Quick Look at lists

#20805 · created Dec 09, 2021 by Richard Eisenberg ImpredicativeTypes Pnormal Tfeature request program incorrectly rejected typechecker
- 2
updated Dec 22, 2021
GHC complains about impredicativity in type synonym for a quantified constraint

#20318 · created Aug 31, 2021 by Richard Eisenberg ImpredicativeTypes QuantifiedConstraints Tbug program incorrectly rejected typechecker
- 2
updated Sep 07, 2021
Instances for ImpredicativeTypes

#20188 · created Jul 30, 2021 by parsonsmatt Research needed ImpredicativeTypes Plow Tfeature request
- 2
- 4
updated Aug 11, 2021
Hidden rigid type variable in GHCi

#20169 · created Jul 27, 2021 by Jaro Reinders GHCi ImpredicativeTypes Pnormal Tbug error messages
- 7
updated Jul 27, 2021
`do`-block produces compile-time error but its desugaring works (ImpredicativeTypes)

#20020 · created Jun 19, 2021 by Jakob Brünker ImpredicativeTypes Pnormal RebindableSyntax Tbug
- 10
updated Nov 09, 2021
Validity checker should reject polytypes passed to type functions

#18762 · created Sep 29, 2020 by Richard Eisenberg ImpredicativeTypes Pnormal Tbug TypeFamilies program incorrectly accepted
- 9
updated Oct 17, 2021
Types with different forall placements don't unify with QL ImpredicativeTypes

#18759 · created Sep 28, 2020 by Andrzej Rybczak FunctionalDependencies ImpredicativeTypes Pnormal Tbug program incorrectly rejected records
- 53
updated Jan 13, 2022
Tuple sections and impredicativity

#18464 · created Jul 16, 2020 by Simon Peyton Jones ImpredicativeTypes
- 0
updated Jul 16, 2020
Impredicative types and do-notation

#18324 · created Jun 10, 2020 by Simon Peyton Jones ImpredicativeTypes Ttask
- 0
updated Jun 10, 2020
Implement Quick Look impredicativity 0 of 5 tasks completed

#18126 · created May 01, 2020 by Simon Peyton Jones ImpredicativeTypes Tfeature request
- 4
updated Dec 22, 2021
GHC behaves differently when binding has separate or inlined type declaration

#16209 · created Jan 21, 2019 by fghibellini 5 ImpredicativeTypes Pnormal Tbug Trac import
- 2
updated Jul 16, 2020
Cannot create type synonym for quantified constraint without ImpredicativeTypes

#16140 · created Jan 07, 2019 by Ashley Yakeley 5 ImpredicativeTypes Pnormal QuantifiedConstraints Tbug Trac import
- 20
updated Aug 31, 2021
Type families returning quantified types

#9269 · created Jul 05, 2014 by pumpkin 5 ImpredicativeTypes Pnormal Tfeature request Trac import TypeFamilies
- 1
- 38
updated Apr 20, 2021
ImpredicativeTypes type checking fails depending on syntax of arguments

#8808 · created Feb 20, 2014 by guest 5 ImpredicativeTypes Pnormal Tbug Trac import typechecker
- 2
updated Sep 24, 2020