projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92037cb) | patch
Fix bug in roughTopNames
authorsimonpj@microsoft.com <unknown>
Wed, 26 Jan 2011 17:18:03 +0000 (17:18 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 26 Jan 2011 17:18:03 +0000 (17:18 +0000)
commit6740a5dc1f10832ba87827a5f6fdbf627078e563
treee28530b99c658379c055953b852c8a7fec7edf3dtree | snapshot
parent92037cb927dccf8b620c21944010e068396bf6c5commit | diff
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).
compiler/specialise/Rules.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)