Re: [GHC] #12102: “Constraints in kinds” illegal family application in instance (+ documentation issues?)

[GHC]

#12102: “Constraints in kinds” illegal family application in instance (+
documentation issues?)
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  typecheck/should_fail/T12102
      Blocked By:                    |             Blocking:
 Related Tickets:  #13780, #15872,   |  Differential Rev(s):  Phab:D5397
  #16263                             |
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Replying to [comment:21 simonpj]:
 > We should both make the user manual reflect this, and fix any bugs
 (which surely exist).

 I'm just pointing out that "make the user manual reflect this" and "fix
 any bugs" are two actions which require very different sets of abilities.
 I //might// be able to do the former, but definitely not the latter. Given
 that, perhaps we should wait until someone with the competency to fix the
 latter comes along, and then we can update the users' manual at the same
 time.

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