diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T18640b.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T18640b.stderr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T18640b.stderr b/testsuite/tests/typecheck/should_fail/T18640b.stderr new file mode 100644 index 0000000000..2a84295a73 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T18640b.stderr @@ -0,0 +1,12 @@ + +T18640b.hs:14:10: error: + • Couldn't match kind ‘k’ with ‘a’ + Expected kind ‘forall b -> a’, but ‘F1’ has kind ‘forall k -> k’ + ‘k’ is a rigid type variable bound by + the type k + at T18640b.hs:14:3-11 + ‘a’ is a rigid type variable bound by + a family instance declaration + at T18640b.hs:14:6 + • In the type ‘F1’ + In the type family declaration for ‘F3’ |