Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / indexed-types / should_fail / ExtraTcsUntch.stderr
1
2 ExtraTcsUntch.hs:23:18: error:
3     • Couldn't match expected type ‘F Int’ with actual type ‘[x]’
4     • In the first argument of ‘h’, namely ‘[x]’
5       In the expression: h [x]
6       In an equation for ‘g1’: g1 _ = h [x]
7     • Relevant bindings include
8         x :: x (bound at ExtraTcsUntch.hs:21:3)
9         f :: x -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
10
11 ExtraTcsUntch.hs:25:38: error:
12     • Couldn't match expected type ‘F Int’ with actual type ‘[[a0]]’
13       The type variable ‘a0’ is ambiguous
14     • In the first argument of ‘h’, namely ‘[[undefined]]’
15       In the expression: h [[undefined]]
16       In the expression: (h [[undefined]], op x [y])