[GHC] #9106: GHC Panic related to functional dependencies - kindFunResult

[GHC]

#9106: GHC Panic related to functional dependencies - kindFunResult
---------------------------------------+---------------------------
        Reporter:  yuriy               |            Owner:
            Type:  bug                 |           Status:  merge
        Priority:  normal              |        Milestone:
       Component:  Compiler            |          Version:  7.8.2
      Resolution:                      |         Keywords:
Operating System:  Windows             |     Architecture:  x86
 Type of failure:  Compile-time crash  |       Difficulty:  Unknown
       Test Case:  polykinds/T9106     |       Blocked By:
        Blocking:                      |  Related Tickets:
---------------------------------------+---------------------------
Changes (by simonpj):

 * status:  new => merge
 * testcase:   => polykinds/T9106


Comment:

 Thank you.  I've fixed the crash.  Now we get
 {{{
 T9106.hs:13:10:
     Illegal instance declaration for ‘FunctorN n f a (f fa)’
       The liberal coverage condition fails in class ‘FunctorN’
         for functional dependency: ‘n f a -> fa’
       Reason: lhs types ‘n’, ‘f’, ‘a’
         do not jointly determine rhs type ‘f fa’
     In the instance declaration for ‘FunctorN n f a (f fa)’
 }}}
 which looks right to me.

 Simon

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