Issues · Glasgow Haskell Compiler / GHC · GitLab

Validity checker should reject polytypes passed to type functions

#18762 · opened Sep 29, 2020 by Richard Eisenberg ImpredicativeTypes TypeFamilies
- 0
updated Sep 29, 2020
Tuple sections and impredicativity

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

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

#18126 · opened May 01, 2020 by Simon Peyton Jones ImpredicativeTypes feature request
- 4
updated Sep 24, 2020
GHC behaves differently when binding has separate or inlined type declaration

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

#16140 · opened Jan 07, 2019 by Ashley Yakeley ImpredicativeTypes Pnormal QuantifiedConstraints Trac import bug 5
- 20
updated Jul 07, 2019
Using ($) allows sneaky impredicativity on its left

#10709 · opened Jul 29, 2015 by Richard Eisenberg ImpredicativeTypes Pnormal Trac import bug typechecker 5
- 2
updated Jul 07, 2019
ImpredicativeTypes type checking fails depending on syntax of arguments

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