Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail068.stderr
1 \r
2 tcfail068.hs:14:9:\r
3     Couldn't match type ‘s1’ with ‘s’\r
4       ‘s1’ is a rigid type variable bound by\r
5            a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
6            at tcfail068.hs:13:9\r
7       ‘s’ is a rigid type variable bound by\r
8           the type signature for:\r
9           itgen :: Constructed a => (Int, Int) -> a -> IndTree s a\r
10           at tcfail068.hs:11:10\r
11     Expected type: GHC.ST.ST s1 (IndTree s a)\r
12       Actual type: GHC.ST.ST s1 (STArray s1 (Int, Int) a)\r
13     Relevant bindings include\r
14       itgen :: (Int, Int) -> a -> IndTree s a\r
15         (bound at tcfail068.hs:12:1)\r
16     In the first argument of ‘runST’, namely\r
17       ‘(newSTArray ((1, 1), n) x)’\r
18     In the expression: runST (newSTArray ((1, 1), n) x)\r
19 \r
20 tcfail068.hs:19:21:\r
21     Couldn't match type ‘s’ with ‘s1’\r
22       ‘s’ is a rigid type variable bound by\r
23           the type signature for:\r
24           itiap :: Constructed a =>\r
25                    (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a\r
26           at tcfail068.hs:16:10\r
27       ‘s1’ is a rigid type variable bound by\r
28            a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
29            at tcfail068.hs:18:9\r
30     Expected type: STArray s1 (Int, Int) a\r
31       Actual type: IndTree s a\r
32     Relevant bindings include\r
33       arr :: IndTree s a (bound at tcfail068.hs:17:11)\r
34       itiap :: (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a\r
35         (bound at tcfail068.hs:17:1)\r
36     In the first argument of ‘readSTArray’, namely ‘arr’\r
37     In the first argument of ‘(>>=)’, namely ‘readSTArray arr i’\r
38 \r
39 tcfail068.hs:24:36:\r
40     Couldn't match type ‘s’ with ‘s1’\r
41       ‘s’ is a rigid type variable bound by\r
42           the type signature for:\r
43           itrap :: Constructed a =>\r
44                    ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a\r
45           at tcfail068.hs:23:10\r
46       ‘s1’ is a rigid type variable bound by\r
47            a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
48            at tcfail068.hs:24:29\r
49     Expected type: GHC.ST.ST s1 (IndTree s a)\r
50       Actual type: GHC.ST.ST s (IndTree s a)\r
51     Relevant bindings include\r
52       itrap' :: Int -> Int -> GHC.ST.ST s (IndTree s a)\r
53         (bound at tcfail068.hs:26:9)\r
54       itrapsnd :: Int -> Int -> GHC.ST.ST s (IndTree s a)\r
55         (bound at tcfail068.hs:29:9)\r
56       arr :: IndTree s a (bound at tcfail068.hs:24:23)\r
57       itrap :: ((Int, Int), (Int, Int))\r
58                -> (a -> a) -> IndTree s a -> IndTree s a\r
59         (bound at tcfail068.hs:24:1)\r
60     In the first argument of ‘runST’, namely ‘(itrap' i k)’\r
61     In the expression: runST (itrap' i k)\r
62 \r
63 tcfail068.hs:36:46:\r
64     Couldn't match type ‘s’ with ‘s1’\r
65       ‘s’ is a rigid type variable bound by\r
66           the type signature for:\r
67           itrapstate :: Constructed b =>\r
68                         ((Int, Int), (Int, Int))\r
69                         -> (a -> b -> (a, b))\r
70                         -> ((Int, Int) -> c -> a)\r
71                         -> (a -> c)\r
72                         -> c\r
73                         -> IndTree s b\r
74                         -> (c, IndTree s b)\r
75           at tcfail068.hs:34:15\r
76       ‘s1’ is a rigid type variable bound by\r
77            a type expected by the context: GHC.ST.ST s1 (c, IndTree s b)\r
78            at tcfail068.hs:36:40\r
79     Expected type: GHC.ST.ST s1 (c, IndTree s b)\r
80       Actual type: GHC.ST.ST s (c, IndTree s b)\r
81     Relevant bindings include\r
82       itrapstate' :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b)\r
83         (bound at tcfail068.hs:38:9)\r
84       itrapstatesnd :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b)\r
85         (bound at tcfail068.hs:41:9)\r
86       arr :: IndTree s b (bound at tcfail068.hs:36:34)\r
87       itrapstate :: ((Int, Int), (Int, Int))\r
88                     -> (a -> b -> (a, b))\r
89                     -> ((Int, Int) -> c -> a)\r
90                     -> (a -> c)\r
91                     -> c\r
92                     -> IndTree s b\r
93                     -> (c, IndTree s b)\r
94         (bound at tcfail068.hs:36:1)\r
95     In the first argument of ‘runST’, namely ‘(itrapstate' i k s)’\r
96     In the expression: runST (itrapstate' i k s)\r