Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2544.stderr
1
2 T2544.hs:15:18:
3     Couldn't match type ‘IxMap i0’ with ‘IxMap l’
4     NB: ‘IxMap’ is a type function, and may not be injective
5     The type variable ‘i0’ is ambiguous
6     Expected type: IxMap l [Int]
7       Actual type: IxMap i0 [Int]
8     Relevant bindings include
9       empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4)
10     In the first argument of ‘BiApp’, namely ‘empty’
11     In the expression: BiApp empty empty
12
13 T2544.hs:15:24:
14     Couldn't match type ‘IxMap i1’ with ‘IxMap r’
15     NB: ‘IxMap’ is a type function, and may not be injective
16     The type variable ‘i1’ is ambiguous
17     Expected type: IxMap r [Int]
18       Actual type: IxMap i1 [Int]
19     Relevant bindings include
20       empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4)
21     In the second argument of ‘BiApp’, namely ‘empty’
22     In the expression: BiApp empty empty