[GHC] #3993: allow implicit parameter bindings in patterns

[GHC]

#3993: allow implicit parameter bindings in patterns
---------------------------------+------------------------------------------
    Reporter:  aavogt            |        Owner:              
        Type:  feature request   |       Status:  new         
    Priority:  normal            |    Milestone:  6.14.1      
   Component:  Compiler          |      Version:  6.12.1      
    Keywords:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Testcase:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonpj):

 To me this seems like a perfectly reasonable suggestion, but even apart
 from the work of designing the feature and implementing it, it constitutes
 one more little complexity in the compiler.  So it's likely to languish in
 the "nice to have" pile and end up not getting done, unless you can
 assemble a consensus that it would be a Good Thing and that Many People
 Would Like It.

 Simon

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