[GHC] #14331: Overzealous free-floating kind check causes deriving clause to be rejected

[GHC]

#14331: Overzealous free-floating kind check causes deriving clause to be rejected
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  merge
        Priority:  normal            |            Milestone:  8.2.2
       Component:  Compiler (Type    |              Version:  8.2.1
  checker)                           |
      Resolution:                    |             Keywords:  deriving
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  GHC rejects       |            Test Case:
  valid program                      |  deriving/should_compile/T14331
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Where are we on this?

 I claim in commment:16 that the error message in comment 12 is spot on.
 So what remains is to document the behaviour.

 The other loose end is Richard's "Howver, in writing this up..." point in
 comment:20.  I agree with Ryan's response in comment:21.  Do we need any
 futher documentation?

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