Fix #12430 by expanding type synonyms in injTyVarsOfType
ClosedPublic

Authored by RyanGlScott on Oct 15 2018, 12:34 PM.

Details

Summary

We weren't expanding type synonyms when determining the
injective type variables of a type, leading to certain non-injective
families being mistakenly labeled as injective (Trac #12430). Easily fixed
with a tactical use of coreView.

Test Plan

make test TEST=T12430

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
RyanGlScott created this revision.Oct 15 2018, 12:34 PM
goldfire accepted this revision.Oct 15 2018, 12:39 PM
goldfire added a subscriber: goldfire.

Well, that was easy.

This revision is now accepted and ready to land.Oct 15 2018, 12:39 PM
This revision was automatically updated to reflect the committed changes.