[GHC] #5117: OverloadedStrings induces overlapping pattern matches

[GHC]

#5117: OverloadedStrings induces overlapping pattern matches
------------------------------------------------+---------------------------
  Reporter:  sciolizer                          |          Owner:                
      Type:  bug                                |         Status:  closed        
  Priority:  normal                             |      Milestone:                
 Component:  Compiler                           |        Version:  7.0.2         
Resolution:  fixed                              |       Keywords:                
  Testcase:  deSugar/should_compile/T5117       |      Blockedby:                
Difficulty:                                     |             Os:  Linux         
  Blocking:                                     |   Architecture:  x86_64 (amd64)
   Failure:  Incorrect warning at compile-time  |  
------------------------------------------------+---------------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => deSugar/should_compile/T5117
  * resolution:  => fixed


Comment:

 Thanks.  An oversight in the tidying of literal patterns in the overlap
 checker. Fixed by
 {{{
 commit e79e580be5d3d7caed73dec9e5a72b244cd1cc39
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Wed May 4 12:05:42 2011 +0100

     Fix Trac #5117: desugar literal patterns consistencly

  compiler/deSugar/Check.lhs    |   16 ++++++++--------
  compiler/deSugar/Match.lhs    |    2 +-
  compiler/deSugar/MatchLit.lhs |   14 ++++++++++----
  3 files changed, 19 insertions(+), 13 deletions(-)
 }}}

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