Skip to content

Ensure floated dictionaries are in scope (again)

Simon Peyton Jones requested to merge wip/T21689 into master

In the Specialiser, we missed one more call to bringFloatedDictsIntoScope (see #21391 (closed)).

This omission led to #21689 (closed). The problem is that the call to rewriteClassOps needs to have in scope any dictionaries floated out of the arguments we have just specialised.

Easy fix.

Merge request reports