Skip to content

simplifier: Correct InScopeSet in rule matching

Matthew Pickering requested to merge wip/t23630 into master

The in-scope set passedto the exprIsLambda_maybe call lacked all the in-scope binders. @simonpj suggests this fix where we augment the in-scope set with the free variables of expression which fixes this failure mode in quite a direct way.

Fixes #23630 (closed)

Merge request reports