#4814: Nasty bug in RULE matching
---------------------------------+------------------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: merge
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.1
Keywords: | Testcase: simplCore/should_run/T4814
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => merge
* testcase: => simplCore/should_run/T4814
Comment:
Fixed by
{{{
Thu Dec 2 10:26:18 GMT 2010 [email protected]
* Fix a nasty bug in RULE matching: Trac #4814
See Note [Matching lets], which explains it all in detail.
It took me a day to think of a nice way to fix the bug,
but I think the result is quite respectable. Subtle, though.
M ./compiler/basicTypes/VarEnv.lhs -4 +6
M ./compiler/coreSyn/CoreSubst.lhs -3 +25
M ./compiler/specialise/Rules.lhs -178 +234
}}}
Please merge to 7.0 branch.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4814#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
