[GHC] #9091: print and/or apply constraints when showing info for typed holes

[GHC]

#9091: print and/or apply constraints when showing info for typed holes
-------------------------------------+-------------------------------------
        Reporter:  kosmikus          |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  7.8.2
  checker)                           |
      Resolution:                    |             Keywords:
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 chak):

 I agree with Andres that —in the presence of local constraints— the value
 of holes messages would be significantly higher with constraint
 information included. As for the verbosity, the terms "given constraints"
 and "wanted constraints" are probably not immediately clear for people who
 haven't read one of the relevant papers.

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