#4918: Rule matcher failing to look through an imported inlining
---------------------------------+------------------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: merge
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.1
Keywords: | Testcase: simplCore/should_compile/T4918
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => merge
* testcase: => simplCore/should_compile/T4918
Comment:
Fixed by
{{{
Wed Jan 26 17:18:03 GMT 2011 [email protected]
* Fix bug in roughTopNames
roughTopNames was returning a name that in fact might be
"looked though" by the rule matcher. Result: a rule
that should match was being pre-emptively discarded.
See Note [Care with roughTopName].
Fixes a bug noticed by Pedro (Trac #4918).
M ./compiler/specialise/Rules.lhs -3 +23
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4918#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
