diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T14246.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T14246.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T14246.stderr b/testsuite/tests/indexed-types/should_fail/T14246.stderr index 3374308a8f..91aebe9dc5 100644 --- a/testsuite/tests/indexed-types/should_fail/T14246.stderr +++ b/testsuite/tests/indexed-types/should_fail/T14246.stderr @@ -7,7 +7,7 @@ T14246.hs:19:5: error: [GHC-91510] T14246.hs:23:27: error: [GHC-83865] • 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))) (*)’ + but ‘Cons (Label (t :: v)) l’ has kind ‘Vect (S (KLN (f t))) (*)’ • In the second argument of ‘Reveal’, namely ‘(Cons (Label (t :: v)) l)’ In the type family declaration for ‘Reveal’ @@ -21,7 +21,7 @@ T14246.hs:23:67: error: [GHC-83865] In the type family declaration for ‘Reveal’ T14246.hs:24:24: error: [GHC-83865] - • Couldn't match kind ‘'Z’ with ‘KLN a’ - Expected kind ‘Vect (KLN a) L’, but ‘Nil’ has kind ‘Vect 'Z L’ + • Couldn't match kind ‘Z’ with ‘KLN a’ + Expected kind ‘Vect (KLN a) L’, but ‘Nil’ has kind ‘Vect Z L’ • In the second argument of ‘Reveal’, namely ‘Nil’ In the type family declaration for ‘Reveal’ |