Don't recompute some free vars in lintCoercion

Authored by niteria on Mar 29 2016, 9:37 PM.

Description

Don't recompute some free vars in lintCoercion

As pointed out by @simonpj on D2044 we don't need
to compute the free vars of the range of the substitution
as most of them are already carried by the monad.
This should be a tiny performance improvement over the version
from before D2044.

Also removes an extra function that is now unnecessary.

Test Plan: ./validate && ./validate --slow

Reviewers: goldfire, simonpj, austin, bgamari

Reviewed By: simonpj

Subscribers: thomie, simonmar, simonpj

Differential Revision: https://phabricator.haskell.org/D2060

GHC Trac Issues: Trac #11371

Details

Committed
niteriaMar 30 2016, 7:45 AM
Reviewer
simonpj
Differential Revision
D2060: Don't recompute some free vars in lintCoercion
Parents
rGHCa76e6f55c28a: Typos in non-code
Branches
Unknown
Tags
Unknown
Build Status
Buildable 8986
Build 11031: [GHC] Linux/amd64: Continuous Integration