Issues · Glasgow Haskell Compiler / GHC · GitLab

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
More expressive typechecking for pattern bindings

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

#18126 · opened May 01, 2020 by Simon Peyton Jones ImpredicativeTypes feature request
- 3
updated Aug 11, 2020
ImpredicativeTypes lets you pluck QuantifiedConstraints out of nowhere

#17332 · opened Oct 09, 2019 by Ryan Scott ImpredicativeTypes QuantifiedConstraints
- 1
- 2
updated Aug 11, 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
Polymorphism and type classes

#9730 · opened Oct 27, 2014 by mjaskel ImpredicativeTypes Pnormal Trac import bug typechecker 5
- 2
- 1
updated Aug 11, 2020
ImpredicativeTypes type checking fails depending on syntax of arguments

#8808 · opened Feb 20, 2014 by guest ImpredicativeTypes Pnormal Trac import bug typechecker 5
- 1
updated Aug 11, 2020
Impredicative implicit parameters

#7026 · opened Jun 23, 2012 by Ashley Yakeley ImpredicativeTypes Pnormal Trac import bug typechecker 5
- 1
- 3
updated Aug 11, 2020
Review higher-rank and impredicative types

#4295 · opened Sep 07, 2010 by Simon Peyton Jones 8.0.1 ImpredicativeTypes Pnormal Trac import broken test bug 5
- 1
- 24
updated Aug 11, 2020
Impredicativity bug: Church2 test gives a rather confusing error with the HEAD

#1330 · opened May 05, 2007 by Ian Lynagh <igloo@earth.li> 8.0.1 ImpredicativeTypes Plow Trac import broken test bug typechecker 0
- 1
- 11
updated Aug 11, 2020