diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-12-17 02:36:31 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-20 14:14:50 -0500 |
commit | 65721691ce9c4107d1cf84ad131bf167a9e42a7d (patch) | |
tree | 52524a8c7f639fb8aa6c24e864e50968af08779a /testsuite/tests/linear | |
parent | e84b02ab0f930e9dd5202fa4392490611dadfbb3 (diff) | |
download | haskell-65721691ce9c4107d1cf84ad131bf167a9e42a7d.tar.gz |
Improve inference with linear types
This fixes test Linear14. The code in Unify.hs was always using
multiplicity Many instead of a new metavariable.
Diffstat (limited to 'testsuite/tests/linear')
-rw-r--r-- | testsuite/tests/linear/should_compile/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/linear/should_compile/all.T b/testsuite/tests/linear/should_compile/all.T index 0fa5750794..b72d1f2f3d 100644 --- a/testsuite/tests/linear/should_compile/all.T +++ b/testsuite/tests/linear/should_compile/all.T @@ -16,7 +16,7 @@ test('TupSection', normal, compile, ['']) test('Pr110', normal, compile, ['']) test('Linear10', normal, compile, ['']) test('Linear12', normal, compile, ['']) -test('Linear14', expect_broken(298), compile, ['']) +test('Linear14', normal, compile, ['']) test('Linear15', normal, compile, ['']) test('Linear16', normal, compile, ['']) test('Linear3', normal, compile, ['']) |