[GHC] #8634: Relax functional dependency coherence check ("liberal coverage condition")

[GHC]

#8634: Relax functional dependency coherence check ("liberal coverage condition")
-------------------------------------+-------------------------------------
        Reporter:  danilo2           |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Compiler (Type    |              Version:  7.7
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #1241, #2247,     |  Differential Rev(s):  Phab:D69
  #8356, #9103, #9227                |
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by ByteEater):

 Is it possible to separate the parts requiring 7.6 behaviour and the
 newest Accelerate which requires at least 7.8 and compile them separately
 with different versions of GHC, then link? If so, would it be a viable
 solution for you, Wojciech (@danilo2)?

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