#13337: GHC doesn't think a type is of kind *, despite having evidence for it
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: goldfire
Type: bug | Status: merge
Priority: normal | Milestone: 8.2.1
Component: Compiler (Type | Version: 8.0.2
checker) |
Resolution: fixed | Keywords: TypeInType
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects | Unknown/Multiple
valid program | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D3315
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by simonpj):
* status: closed => merge
Comment:
Modified by
{{{
commit 3cfee57abf00f794e7962e2a60efd9d7d8baf06f
Author: Richard Eisenberg