diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T14246.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T14246.stderr | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T14246.stderr b/testsuite/tests/indexed-types/should_fail/T14246.stderr index a41f73efa5..292c49fb25 100644 --- a/testsuite/tests/indexed-types/should_fail/T14246.stderr +++ b/testsuite/tests/indexed-types/should_fail/T14246.stderr @@ -5,8 +5,7 @@ T14246.hs:19:5: error: In the type family declaration for ‘KLN’ T14246.hs:23:27: error: - • Couldn't match kind: 'S (KLN (f t)) - with: KLN f + • Couldn't match kind ‘*’ with ‘L’ Expected kind ‘Vect (KLN f) L’, but ‘Cons (Label (t :: v)) l’ has kind ‘Vect ('S (KLN (f t))) (*)’ • In the second argument of ‘Reveal’, namely |