244580f922c387e4f5810a735755af05f3c2788e
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2544.stderr
1
2 T2544.hs:15:18:
3     Could not deduce (IxMap i0 ~ IxMap l)
4     from the context (Ix l, Ix r)
5       bound by the instance declaration at T2544.hs:13:10-37
6     NB: ‘IxMap’ is a type function, and may not be injective
7     The type variable ‘i0’ is ambiguous
8     Expected type: IxMap l [Int]
9       Actual type: IxMap i0 [Int]
10     Relevant bindings include
11       empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4)
12     In the first argument of ‘BiApp’, namely ‘empty’
13     In the expression: BiApp empty empty
14
15 T2544.hs:15:24:
16     Could not deduce (IxMap i1 ~ IxMap r)
17     from the context (Ix l, Ix r)
18       bound by the instance declaration at T2544.hs:13:10-37
19     NB: ‘IxMap’ is a type function, and may not be injective
20     The type variable ‘i1’ is ambiguous
21     Expected type: IxMap r [Int]
22       Actual type: IxMap i1 [Int]
23     Relevant bindings include
24       empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4)
25     In the second argument of ‘BiApp’, namely ‘empty’
26     In the expression: BiApp empty empty