summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T12844.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T12844.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_compile/T12844.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T12844.stderr b/testsuite/tests/partial-sigs/should_compile/T12844.stderr
index 331570aa93..52c0d8c7d1 100644
--- a/testsuite/tests/partial-sigs/should_compile/T12844.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T12844.stderr
@@ -2,7 +2,7 @@
T12844.hs:12:9: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found extra-constraints wildcard standing for
‘(Head rngs ~ '(r, r'), Foo rngs)’
- Where: ‘r’, ‘r'’, ‘k’, ‘k1’, ‘rngs’
+ Where: ‘r’, ‘r'’, ‘k1’, ‘k2’, ‘rngs’
are rigid type variables bound by
the inferred type of
bar :: (Head rngs ~ '(r, r'), Foo rngs) => FooData rngs