-
Simon Peyton Jones authored
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).
6740a5dc