[GHC] #5910: Holes with other constraints

[GHC]

#5910: Holes with other constraints
----------------------------------------+-----------------------------------
    Reporter:  xnyhps                   |       Owner:                  
        Type:  feature request          |      Status:  new             
    Priority:  normal                   |   Milestone:                  
   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):

 I have transferred your proposed design to the Wiki page [wiki:Holes].

 But can you clarify?  Under (2), are you saying that if I write
 {{{
 f x = _?foo
 }}}
 then you want the program to typecheck and run, even though it is
 incomplete?  Isn't that what `-fdefer-type-errors` is for?

 About the monomorphism restriction, can you give an example?

 Ideally answer the questions by amplifying the spec on [wiki:Holes], and
 adding examples to illustrate.

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