[GHC] #13337: GHC doesn't think a type is of kind *, despite having evidence for it

[GHC]

#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 <rae at cs.brynmawr.edu>
 Date:   Thu Mar 16 15:56:37 2017 -0400

     Remove solveSomeEqualities

     I had thought that it was necessary to solve kind-level equalities
     before validity-checking a type, but I was wrong. This patch simply
     deletes code. Hooray!
 }}}
 Has this been merged?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13337#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler