[GHC] #8707: Kind inference fails in data instance definition

[GHC]

#8707: Kind inference fails in data instance definition
-------------------------------------+------------------------------------
        Reporter:  goldfire          |            Owner:  jstolarek
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.7
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by simonpj):

 Jan, this is one of the gnarliest bits of the type checker, and I caution
 against committing too many days of your life to it.  I think that #8832
 might be a better investment of your valuable time; as would anything that
 helps cure the Windows seg-faults that are blocking the 7.8 release (eg
 #8870, #8834).

 But yes "type patterns" means the type arguments of the data instance. The
 two pases are one to do kind checking, and then a second to generate the
 actual type constructors.

 Simon

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