blob: 40409c10cce93281d57ecebdb5c8d23e6e18735b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T2544.hs:19:18: error:
• Couldn't match type: IxMap i0
with: IxMap l
Expected: IxMap l [Int]
Actual: IxMap i0 [Int]
NB: ‘IxMap’ is a non-injective type family
The type variable ‘i0’ is ambiguous
• In the first argument of ‘BiApp’, namely ‘empty’
In the expression: BiApp empty empty
In an equation for ‘empty’: empty = BiApp empty empty
• Relevant bindings include
empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:19:4)
|
