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