[GHC] #15546: Display coaxiom branch incompatibilities in GHCi

[GHC]

#15546: Display coaxiom branch incompatibilities in GHCi
-------------------------------------+-------------------------------------
        Reporter:  mniip             |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.6.1
       Component:  GHCi              |              Version:  8.4.3
      Resolution:                    |             Keywords:  TypeFamilies,
                                     |  GHCi
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > How about -fprint-axiom-incomps?

 Fine.

 When you say "more important to see" are you speaking about users or
 implementors?  If the former, can you explain why they need to see this?
 They are just thinking "pick the first match" aren't they?

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