diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail/T15694.stderr')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T15694.stderr | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T15694.stderr b/testsuite/tests/patsyn/should_fail/T15694.stderr index 360fb30ba2..7e1507c332 100644 --- a/testsuite/tests/patsyn/should_fail/T15694.stderr +++ b/testsuite/tests/patsyn/should_fail/T15694.stderr @@ -1,4 +1,7 @@ T15694.hs:22:35: error: - • Expected kind ‘k1 -> k00’, but ‘f a1’ has kind ‘ks’ + • Expected kind ‘k1 -> k0’, but ‘f a1’ has kind ‘ks’ + ‘ks’ is a rigid type variable bound by + the data constructor ‘ASSO’ + at T15694.hs:18:30-31 • In the first argument of ‘(~~)’, namely ‘f a1 a2’ |