Issues · Glasgow Haskell Compiler / GHC · GitLab

Importing a newtype constructor can break typechecking

#18306 · opened Jun 06, 2020 by David Feuer Coercible Pnormal bug roles
- 4
updated Jun 10, 2020
ConstrainedClassMethods can trigger un-actionable redundant constraint warnings together with GND

#18148 · opened May 06, 2020 by Koz Ross Pnormal bug deriving error messages roles
- 18
updated May 22, 2020
Role annotations on classes require module-wide IncoherentInstances

#17167 · opened Sep 08, 2019 by Adam Gundry IncoherentInstances roles task typechecker
- 3
updated Jan 23, 2020
Commutativity of Coercible sometimes doesn't work with QuantifiedConstraints

#16432 · opened Mar 14, 2019 by Michael Sloan QuantifiedConstraints roles
- 5
updated Mar 15, 2019
More liberally kinded coercions for newtypes

#15707 · opened Oct 05, 2018 by mniip 8.6.1 5 Pnormal Trac import feature request roles typechecker
- 5
updated Jul 07, 2019
Data type with phantoms using TypeInType isn't coercible

#15441 · opened Jul 26, 2018 by glittershark Research needed 5 Pnormal Trac import bug roles
- 5
updated Jul 07, 2019
Incompleteness in the Coercible constraint solver

#14694 · opened Jan 21, 2018 by Icelandjack 5 Pnormal Trac import bug roles
- 4
updated Jul 07, 2019
GHC doesn't allow Coercion between partly-saturated type constructors

#14386 · opened Oct 25, 2017 by Icelandjack 5 Pnormal Trac import bug roles
- 7
updated Jul 07, 2019
Allow: Coercing (a:~:b) to (b:~:a)

#14362 · opened Oct 17, 2017 by Icelandjack 5 Pnormal Trac import feature request roles
- 11
updated Jul 07, 2019
Coercing between constraints of newtypes

#14292 · opened Sep 27, 2017 by Icelandjack 5 Pnormal Trac import feature request roles
- 10
updated Jul 07, 2019
Role ranges (allow decomposition on newtypes)

#13358 · opened Mar 01, 2017 by Edward Z. Yang 3 Plow Trac import backpack feature request roles typechecker
- 3
updated Jul 07, 2019
Constraint vs *

#11715 · opened Mar 16, 2016 by Ben Gamari 8.6.1 7 Phigh Trac import bug roles typechecker
- 80
updated Oct 26, 2020
Can't eta-reduce representational coercions

#9118 · opened May 15, 2014 by Richard Eisenberg 3 Plow Trac import feature request roles
- 9
updated Jul 07, 2019
support for deriving Vector/MVector instances

#9112 · opened May 15, 2014 by jwlato 5 Pnormal Trac import feature request roles
- 12
updated Jul 07, 2019
Roles for type families

#8177 · opened Aug 27, 2013 by Simon Peyton Jones ⊥ 5 Pnormal Trac import TypeFamilies bug roles
- 1
- 43
updated Oct 21, 2020