diff options
| author | Arnaud Spiwack <arnaud.spiwack@tweag.io> | 2020-09-23 12:20:46 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-25 21:13:58 -0400 |
| commit | 2707c4eae4cf99e6da2709e128f560d91e468357 (patch) | |
| tree | 729acd98bb114b7e799995a4d7bdc6b0fb7f1e59 /testsuite/tests | |
| parent | 516062366ed1957e499f27dfc6b685a073a18400 (diff) | |
| download | haskell-2707c4eae4cf99e6da2709e128f560d91e468357.tar.gz | |
Pattern guards BindStmt always use multiplicity Many
Fixes #18439 .
The rhs of the pattern guard was consumed with multiplicity one, while
the pattern assumed it was Many. We use Many everywhere instead.
This is behaviour consistent with that of `case` expression. See #18738.
Diffstat (limited to 'testsuite/tests')
3 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearPatternGuardWildcard.hs b/testsuite/tests/linear/should_fail/LinearPatternGuardWildcard.hs new file mode 100644 index 0000000000..be837fd80b --- /dev/null +++ b/testsuite/tests/linear/should_fail/LinearPatternGuardWildcard.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE LinearTypes #-} +module LinearPatternGuardWildcard where + +-- See #18439 + +unsafeConsume :: a #-> () +unsafeConsume x | _ <- x = () diff --git a/testsuite/tests/linear/should_fail/LinearPatternGuardWildcard.stderr b/testsuite/tests/linear/should_fail/LinearPatternGuardWildcard.stderr new file mode 100644 index 0000000000..466ad41862 --- /dev/null +++ b/testsuite/tests/linear/should_fail/LinearPatternGuardWildcard.stderr @@ -0,0 +1,5 @@ + +LinearPatternGuardWildcard.hs:7:15: error: + • Couldn't match type ‘'Many’ with ‘'One’ + arising from multiplicity of ‘x’ + • In an equation for ‘unsafeConsume’: unsafeConsume x | _ <- x = () diff --git a/testsuite/tests/linear/should_fail/all.T b/testsuite/tests/linear/should_fail/all.T index 67906053dc..941966673c 100644 --- a/testsuite/tests/linear/should_fail/all.T +++ b/testsuite/tests/linear/should_fail/all.T @@ -27,3 +27,4 @@ test('LinearPolyType', expect_broken([436, broken_multiplicity_syntax]), compile test('LinearBottomMult', normal, compile_fail, ['']) test('LinearSequenceExpr', normal, compile_fail, ['']) test('LinearIf', normal, compile_fail, ['']) +test('LinearPatternGuardWildcard', normal, compile_fail, ['']) |