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

[GHC]

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

Comment (by simonpj):

 It looks stalled to me.  Wojciech was going to work on some aspects
 (notably making the pragma work per-instance rather than globally) but
 nothing has happened.

 I'm happy to advise anyone who wants to take up the cudgels here.  It's
 not too hard, despite this very long thread.

 Simon

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