#3126: GHC needs to be more careful about pattern match order
-----------------------------------------+----------------------------------
Reporter: claus | Owner: igloo
Type: merge | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.11
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: deSugar/should_run/T3126 | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
-----------------------------------------+----------------------------------
Changes (by simonpj):
* testcase: => deSugar/should_run/T3126
* difficulty: => Unknown
* type: bug => merge
* owner: => igloo
Comment:
Excellent report, thank you. Fixed by
{{{
Mon Mar 30 09:34:35 BST 2009 [email protected]
* Fix Trac #3126: matching overloaded literals
Claus Reinke uncovered a long-standing bug in GHC, whereby we were
combining the pattern-match on overloaded literals, missing the fact
that an intervening pattern (for a different literal) might also
match. (If someone had a very odd implementation of fromInteger!)
See Note [Grouping overloaded literal patterns] in Match.lhs
If this merges smoothly to 6.10, go for it, but it's very much
a corner case.
Thank you Claus!
}}}
Merge to 6.10 if there's time.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3126#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
