diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-09-20 23:29:51 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-21 17:07:44 +0100 |
| commit | d61c7e8d418331e4db783dace9c7ad75306ce05a (patch) | |
| tree | 392a84be50b35bd80db9dd411a6b3271b6a712a3 /testsuite/tests/polykinds/T9263.hs | |
| parent | cdbc73aea2d8220dc2c3467afbac5c17db96453a (diff) | |
| download | haskell-d61c7e8d418331e4db783dace9c7ad75306ce05a.tar.gz | |
Make TcLevel increase by 1 not 2
Make the TcLevel of a flatten-meta-var be always zero.
See TcType.fmvTcLevel.
This allows the levels of implication constraints to to
up by 1 each time instead of 2, which is less confusing.
This change has no effect on type checking.
Diffstat (limited to 'testsuite/tests/polykinds/T9263.hs')
0 files changed, 0 insertions, 0 deletions