Improve improvement in the constraint solver
[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 ‘[[t]]’
4     Relevant bindings include
5       x :: [t] (bound at ExtraTcsUntch.hs:21:3)
6       f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
7     In the first argument of ‘h’, namely ‘[x]’
8     In the expression: h [x]
9     In an equation for ‘g1’: g1 _ = h [x]
10
11 ExtraTcsUntch.hs:25:38: error:
12     Couldn't match expected type ‘F Int’ with actual type ‘[[t]]’
13     Relevant bindings include
14       x :: [t] (bound at ExtraTcsUntch.hs:21:3)
15       f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
16     In the first argument of ‘h’, namely ‘[[undefined]]’
17     In the expression: h [[undefined]]
18     In the expression: (h [[undefined]], op x [y])