diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-09-25 15:19:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-09-26 04:41:54 +0100 |
| commit | 4bdb10ca7ba14f00dd62270eadab4f93238227bc (patch) | |
| tree | 66e5bfd3b113efa078f278ceb8005cee4f2d15f5 /testsuite/tests/simplCore | |
| parent | a74413479cf4bf84fcacf1c5f76da1c1610d208b (diff) | |
| download | haskell-4bdb10ca7ba14f00dd62270eadab4f93238227bc.tar.gz | |
Fix Lint of unsaturated type families
GHC allows types to have unsaturated type synonyms and type families,
provided they /are/ saturated if you expand all type synonyms.
TcValidity carefully checked this; see check_syn_tc_app. But
Lint only did half the job, adn that led to Trac #15664.
This patch just teaches Core Lint to be as clever as TcValidity.
Diffstat (limited to 'testsuite/tests/simplCore')
0 files changed, 0 insertions, 0 deletions