Skip to content

Fix Lint

Simon Peyton Jones requested to merge wip/T17590 into master

Ticket #17590 (closed) pointed out a bug in the way the linter dealt with type lets, exposed by the new uniqAway story.

The fix is described in Note [Linting type lets]. I ended up putting the in-scope Ids in a different env field, le_ids, rather than (as before) sneaking them into the TCvSubst.

Merge request reports