summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_fail/RolesIArray.stderr
blob: 8b844dc3eba9916127127f6ffb539c1450138d56 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

RolesIArray.hs:10:13: error:
    Couldn't match type ‘Word64’ with ‘N’
      arising from the coercion of the method ‘Data.Array.Base.unsafeAccumArray’
        from type ‘forall e' i.
                   Ix i =>
                   (Word64 -> e' -> Word64)
                   -> Word64 -> (i, i) -> [(Int, e')] -> UArray i Word64’
          to type ‘forall e' i.
                   Ix i =>
                   (N -> e' -> N) -> N -> (i, i) -> [(Int, e')] -> UArray i N’
    When deriving the instance for (IArray UArray N)

RolesIArray.hs:10:13: error:
    Couldn't match type ‘Word64’ with ‘N’
      arising from the coercion of the method ‘Data.Array.Base.unsafeAccum’
        from type ‘forall e' i.
                   Ix i =>
                   (Word64 -> e' -> Word64)
                   -> UArray i Word64 -> [(Int, e')] -> UArray i Word64’
          to type ‘forall e' i.
                   Ix i =>
                   (N -> e' -> N) -> UArray i N -> [(Int, e')] -> UArray i N’
    When deriving the instance for (IArray UArray N)

RolesIArray.hs:10:13: error:
    Couldn't match type ‘Word64’ with ‘N’
      arising from the coercion of the method ‘Data.Array.Base.unsafeReplace’
        from type ‘forall i.
                   Ix i =>
                   UArray i Word64 -> [(Int, Word64)] -> UArray i Word64’
          to type ‘forall i. Ix i => UArray i N -> [(Int, N)] -> UArray i N’
    When deriving the instance for (IArray UArray N)

RolesIArray.hs:10:13: error:
    Couldn't match type ‘Word64’ with ‘N’
      arising from the coercion of the method ‘Data.Array.Base.unsafeAt’
        from type ‘forall i. Ix i => UArray i Word64 -> Int -> Word64’
          to type ‘forall i. Ix i => UArray i N -> Int -> N’
    When deriving the instance for (IArray UArray N)

RolesIArray.hs:10:13: error:
    Couldn't match type ‘Word64’ with ‘N’
      arising from the coercion of the method ‘Data.Array.Base.unsafeArray’
        from type ‘forall i.
                   Ix i =>
                   (i, i) -> [(Int, Word64)] -> UArray i Word64’
          to type ‘forall i. Ix i => (i, i) -> [(Int, N)] -> UArray i N’
    When deriving the instance for (IArray UArray N)

RolesIArray.hs:10:13: error:
    Couldn't match type ‘Word64’ with ‘N’
      arising from the coercion of the method ‘Data.Array.Base.numElements’
        from type ‘forall i. Ix i => UArray i Word64 -> Int’
          to type ‘forall i. Ix i => UArray i N -> Int’
    When deriving the instance for (IArray UArray N)

RolesIArray.hs:10:13: error:
    Couldn't match type ‘Word64’ with ‘N’
      arising from the coercion of the method ‘bounds’
        from type ‘forall i. Ix i => UArray i Word64 -> (i, i)’
          to type ‘forall i. Ix i => UArray i N -> (i, i)’
    When deriving the instance for (IArray UArray N)