[GHC] #9131: Experiment with a dedicated solver for Coercible

[GHC]

#9131: Experiment with a dedicated solver for Coercible
-------------------------------------+------------------------------------
        Reporter:  nomeata           |            Owner:
            Type:  task              |           Status:  new
        Priority:  low               |        Milestone:
       Component:  Compiler          |          Version:  7.8.2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by simonpj):

 In effect we already ''have'' a separate solver, namely special-purpose
 handling of the `Coercible` constraints, which works interleaved with the
 current one. Interleaving is good because the two interact. I'm not sure
 that anything would be gained by separating them out.  Though perhaps the
 code could be separated in a more modular fashion.

 Simon

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