"README.md" did not exist on "a1b528ae206aa1bc17f99dbf665da5c271c8580c"
Add missing addInScope call for letrec binders in OccurAnal
This fixes #18044, where a shadowed variable was incorrectly substituted by the binder swap on the RHS of a floated-in letrec. This can only happen when the uniques line up *just* right, so writing a regression test would be very difficult, but at least the fix is small and straightforward.
Loading
Please register or sign in to comment