diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T3330c.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T3330c.stderr | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3330c.stderr b/testsuite/tests/indexed-types/should_fail/T3330c.stderr index d0a8320384..4d9e6d5be6 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330c.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330c.stderr @@ -1,14 +1,15 @@ T3330c.hs:23:43: error: - Couldn't match kind ‘*’ with ‘* -> *’ - When matching types - Der ((->) x) :: * -> * - R :: (* -> *) -> * - Expected type: Der ((->) x) (Der f1 x) + • Couldn't match kind ‘* -> *’ with ‘*’ + When matching types + f1 :: * -> * + Der f1 x :: * + Expected type: Der ((->) x) (Der f1 x) Actual type: R f1 - In the first argument of ‘plug’, namely ‘rf’ - In the first argument of ‘Inl’, namely ‘(plug rf df x)’ - Relevant bindings include - x :: x (bound at T3330c.hs:23:29) - df :: Der f1 x (bound at T3330c.hs:23:25) - plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1) + • In the first argument of ‘plug’, namely ‘rf’ + In the first argument of ‘Inl’, namely ‘(plug rf df x)’ + • Relevant bindings include + x :: x (bound at T3330c.hs:23:29) + df :: Der f1 x (bound at T3330c.hs:23:25) + rf :: R f1 (bound at T3330c.hs:23:13) + plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1) |