[GHC] #2357: Implement the Haskell' proposal for polymorphic pattern bindings

[GHC]

#2357: Implement the Haskell' proposal for polymorphic pattern bindings
----------------------------------------+-----------------------------------
    Reporter:  simonmar                 |       Owner:         
        Type:  task                     |      Status:  new    
    Priority:  normal                   |   Milestone:  6.10.1 
   Component:  Compiler (Type checker)  |     Version:  6.8.2  
    Severity:  normal                   |    Keywords:         
  Difficulty:  Unknown                  |    Testcase:         
Architecture:  Unknown                  |          Os:  Unknown
----------------------------------------+-----------------------------------
 After discussion on the Haskell' mailing list, it was decided that
 Haskell' will keep polymorphic pattern bindings, with static semantics
 defined by a translation.

 [http://hackage.haskell.org/trac/haskell-
 prime/wiki/SpecifyPatternBindingSemantics]

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