diff options
Diffstat (limited to 'testsuite/tests/roles/should_fail/RolesIArray.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_fail/RolesIArray.stderr | 114 |
1 files changed, 42 insertions, 72 deletions
diff --git a/testsuite/tests/roles/should_fail/RolesIArray.stderr b/testsuite/tests/roles/should_fail/RolesIArray.stderr index fa9e8fe57f..8b844dc3eb 100644 --- a/testsuite/tests/roles/should_fail/RolesIArray.stderr +++ b/testsuite/tests/roles/should_fail/RolesIArray.stderr @@ -1,93 +1,63 @@ -RolesIArray.hs:10:13: +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’ - Relevant role signatures: - type role Ix nominal - type role [] representational - type role (,) representational representational - type role UArray nominal nominal + 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: +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’ - Relevant role signatures: - type role Ix nominal - type role [] representational - type role (,) representational representational - type role UArray nominal nominal + 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: +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’ - Relevant role signatures: - type role Ix nominal - type role [] representational - type role (,) representational representational - type role UArray nominal nominal + 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: +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’ - Relevant role signatures: - type role Ix nominal - type role UArray nominal nominal + 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: +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’ - Relevant role signatures: - type role Ix nominal - type role [] representational - type role (,) representational representational - type role UArray nominal nominal + 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: +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’ - Relevant role signatures: - type role Ix nominal - type role UArray nominal nominal + 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: +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)’ - Relevant role signatures: - type role Ix nominal - type role (,) representational representational - type role UArray nominal nominal + 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) |