diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-16 22:08:08 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-13 10:50:19 +0100 |
| commit | d25cb61a1c2a135a2564143a332f8b2962f134bc (patch) | |
| tree | a5b6f3f9ff310b1d172d975ab4ac3dd549867489 /testsuite/tests/polykinds/T11399.hs | |
| parent | 2bb6ba62b8d0e9c79b59e39e225758cf999eff83 (diff) | |
| download | haskell-d25cb61a1c2a135a2564143a332f8b2962f134bc.tar.gz | |
Kill off redundant SigTv check in occurCheckExpand
This patch simply deletes code, the SigTv check in
occurCheckExpand. As the new comment says
In the past we also rejected a SigTv matched with a non-tyvar
But it is wrong to reject that for Givens;
and SigTv is in any case handled separately by
- TcUnify.checkTauTvUpdate (on-the-fly unifier)
- TcInteract.canSolveByUnification (main constraint solver)
Diffstat (limited to 'testsuite/tests/polykinds/T11399.hs')
0 files changed, 0 insertions, 0 deletions