diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-04-20 14:02:06 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-05-11 11:55:59 -0400 |
commit | ad16a0666340723b656879f4c0bb94653363608b (patch) | |
tree | 9b88da2418eee720d05fd84de53bc06aed532090 /testsuite/tests/linear/should_fail/T21278.stderr | |
parent | 87eebf98cb485f7c9175330051736e147ade9848 (diff) | |
download | haskell-ad16a0666340723b656879f4c0bb94653363608b.tar.gz |
Add a test for #21278
Diffstat (limited to 'testsuite/tests/linear/should_fail/T21278.stderr')
-rw-r--r-- | testsuite/tests/linear/should_fail/T21278.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/T21278.stderr b/testsuite/tests/linear/should_fail/T21278.stderr new file mode 100644 index 0000000000..951fa50a05 --- /dev/null +++ b/testsuite/tests/linear/should_fail/T21278.stderr @@ -0,0 +1,13 @@ + +T21278.hs:7:11: error: [GHC-25897] + • Couldn't match type ‘p’ with ‘Many’ + arising from multiplicity of ‘x’ + ‘p’ is a rigid type variable bound by + a pattern with constructor: + C :: forall a (p :: GHC.Types.Multiplicity). (a %p -> a) %1 -> C a, + in a case alternative + at T21278.hs:7:26-28 + • In the first argument of ‘C’, namely + ‘(\ x -> case b of C g -> g x)’ + In the expression: C (\ x -> case b of C g -> g x) + In an equation for ‘f’: f b = C (\ x -> case b of C g -> g x) |