[GHC] #5910: Holes with other constraints

[GHC]

#5910: Holes with other constraints
----------------------------------------+-----------------------------------
    Reporter:  xnyhps                   |       Owner:                  
        Type:  feature request          |      Status:  new             
    Priority:  high                     |   Milestone:  7.8.1           
   Component:  Compiler (Type checker)  |     Version:  7.5             
    Keywords:  holes                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |     Failure:  Other           
  Difficulty:  Unknown                  |    Testcase:                  
   Blockedby:                           |    Blocking:                  
     Related:                           |  
----------------------------------------+-----------------------------------

Comment(by 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.

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