#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 <[email protected]>
 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

_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to