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