Skip to content

Fix a scoping bug in the Specialiser

Simon Peyton Jones requested to merge wip/T21828 into master

This MR fixes #21828 (closed).

In the call to specLookupRule in already_covered, in specCalls, we need an in-scope set that includes the free vars of the arguments. But we simply were not guaranteeing that: did not include the rule_bndrs.

Easily fixed. I'm not sure how how this bug has lain for quite so long without biting us.

It's hard to trigger, so no test cases I'm afraid.

Merge request reports