97a54ec5cf34679f7b7b4dc762c41f32f5ae6e90
[ghc.git] / testsuite / tests / indexed-types / should_fail / T3330c.stderr
1
2 T3330c.hs:23:43:
3     Couldn't match kind ‘*’ with ‘* -> *’
4     When matching types
5       Der ((->) x) :: * -> *
6       R :: (* -> *) -> *
7     Expected type: Der ((->) x) (f1 x)
8       Actual type: R f1
9     Relevant bindings include
10       x :: x (bound at T3330c.hs:23:29)
11       df :: f1 x (bound at T3330c.hs:23:25)
12       plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1)
13     In the first argument of ‘plug’, namely ‘rf’
14     In the first argument of ‘Inl’, namely ‘(plug rf df x)’