T2544.stderr 905 Bytes
Newer Older
1 2 3 4 5 6 7 8 9

T2544.hs:17:18: error:
    Couldn't match type ‘IxMap i0’ with ‘IxMap l’
    NB: ‘IxMap’ is a type function, and may not be injective
    The type variable ‘i0’ is ambiguous
    Expected type: IxMap l [Int]
      Actual type: IxMap i0 [Int]
    In the first argument of ‘BiApp’, namely ‘empty’
    In the expression: BiApp empty empty
10 11
    Relevant bindings include
      empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:17:4)
12 13 14 15 16 17 18 19 20

T2544.hs:17:24: error:
    Couldn't match type ‘IxMap i1’ with ‘IxMap r’
    NB: ‘IxMap’ is a type function, and may not be injective
    The type variable ‘i1’ is ambiguous
    Expected type: IxMap r [Int]
      Actual type: IxMap i1 [Int]
    In the second argument of ‘BiApp’, namely ‘empty’
    In the expression: BiApp empty empty
21 22
    Relevant bindings include
      empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:17:4)