[GHC] #2187: Top-level bindings are broken for polymorphic values

[GHC]

#2187: Top-level bindings are broken for polymorphic values
----------------------+-----------------------------------------------------
 Reporter:  yallop    |          Owner:             
     Type:  bug       |         Status:  new        
 Priority:  normal    |      Milestone:  6.10 branch
Component:  Compiler  |        Version:  6.8.2      
 Severity:  major     |     Resolution:             
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Unknown    
       Os:  Unknown   |  
----------------------+-----------------------------------------------------
Comment (by simonmar):

 Linking to the Haskell' page with the motivation for this change:
 [http://hackage.haskell.org/cgi-bin/haskell-
 prime/trac.cgi/wiki/MonomorphicPatternBindings]

 As for whether it makes the implementation simpler, I presume the
 intention was to deprecate and eventually remove `-XNoMonoPatBinds` at
 which point the complexities to deal with polymorphic pattern bindings
 would go away. (however we can't do that while we still want to support
 Haskell 98, of course).  I'm going to follow up on this with the Haskell'
 committee.

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