diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-15 13:48:21 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-10-15 17:59:20 -0400 |
| commit | 26e81e90281685af37c8f2cf149c242b4039117a (patch) | |
| tree | 7a3af42bd72026255434f5e0322fb3938f19e51a /compiler/stranal | |
| parent | 0b0cb484eb0b51bf5485dfadff7cd8a079ceb16e (diff) | |
| download | haskell-26e81e90281685af37c8f2cf149c242b4039117a.tar.gz | |
Fix #12430 by expanding type synonyms in injTyVarsOfType
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 (#12430). Easily fixed
with a tactical use of `coreView`.
Test Plan: make test TEST=T12430
Reviewers: bgamari, goldfire
Reviewed By: goldfire
Subscribers: goldfire, rwbarton, carter
GHC Trac Issues: #12430
Differential Revision: https://phabricator.haskell.org/D5228
Diffstat (limited to 'compiler/stranal')
0 files changed, 0 insertions, 0 deletions