[GHC] #5910: Holes with other constraints

[GHC]

#5910: Holes with other constraints
-------------------------------------+-------------------------------------
              Reporter:  xnyhps      |            Owner:
                  Type:  feature     |           Status:  new
  request                            |        Milestone:  7.10.1
              Priority:  high        |          Version:  7.5
             Component:  Compiler    |         Keywords:  holes
  (Type checker)                     |     Architecture:  Unknown/Multiple
            Resolution:              |       Difficulty:  Unknown
      Operating System:              |       Blocked By:
  Unknown/Multiple                   |  Related Tickets:
       Type of failure:  Other       |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by thomie):

 Replying to [comment:22 simonpj]:
 > OK, so holes are now in HEAD.
 >
 > They lack
 >  * documentation
 >  * tests of any kind
 >
 > Two more actions:
 >  * '''Sean or Thijs, could you add documentation and tests?'''
 >
 >  * I think the idea of allowing undefined variables to turn into holes
 is a good one; so I'll leave the ticket open for that too.

 Did those tests ever get added? What is left to do here? See also #9091.

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