summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks/should_fail/T16758.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/saks/should_fail/T16758.stderr')
-rw-r--r--testsuite/tests/saks/should_fail/T16758.stderr8
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/saks/should_fail/T16758.stderr b/testsuite/tests/saks/should_fail/T16758.stderr
new file mode 100644
index 0000000000..f74241a706
--- /dev/null
+++ b/testsuite/tests/saks/should_fail/T16758.stderr
@@ -0,0 +1,8 @@
+
+T16758.hs:14:8: error:
+ • Couldn't match expected kind ‘Int’ with actual kind ‘a’
+ ‘a’ is a rigid type variable bound by
+ the class declaration for ‘C’
+ at T16758.hs:12:19
+ • In the type signature: f :: C a => a -> Int
+ In the class declaration for ‘C’