#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