Issues · Glasgow Haskell Compiler / GHC · GitLab

Emit quantified Coercible constraints in GeneralizedNewtypeDeriving

#9123 · opened May 19, 2014 by Simon Peyton Jones 8.8.1 5 Pnormal Tbug Trac import
- CLOSED
- 66
updated Jul 07, 2019
Add -fshow-runtime-rep

#11549 · opened Feb 06, 2016 by Richard Eisenberg 8.8.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 20
updated Jul 07, 2019
Gruesome kind mismatch errors for associated data family instances

#14230 · opened Sep 14, 2017 by Ryan Scott 8.8.1 7 Phigh Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 6
updated Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check

#14887 · opened Mar 03, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 13
updated Jul 07, 2019
GHC HEAD-only panic (buildKindCoercion)

#16188 · opened Jan 16, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 8
updated Jul 07, 2019