Merge branch 'master' of http://darcs.haskell.org/testsuite
[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:11:10-55\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:11:10\r
15     Expected type: GHC.ST.ST s1 (IndTree s a)\r
16       Actual type: GHC.ST.ST s1 (STArray s1 (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     In the expression: runST (newSTArray ((1, 1), n) x)\r
21 \r
22 tcfail068.hs:19:21:\r
23     Could not deduce (s ~ s1)\r
24     from the context (Constructed a)\r
25       bound by the type signature for\r
26                  itiap :: Constructed a =>\r
27                           (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a\r
28       at tcfail068.hs:16:10-75\r
29       `s' is a rigid type variable bound by\r
30           the type signature for\r
31             itiap :: Constructed a =>\r
32                      (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a\r
33           at tcfail068.hs:16:10\r
34       `s1' is a rigid type variable bound by\r
35            a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
36            at tcfail068.hs:18:9\r
37     Expected type: STArray s1 (Int, Int) a\r
38       Actual type: IndTree s a\r
39     In the first argument of `readSTArray', namely `arr'\r
40     In the first argument of `(>>=)', namely `readSTArray arr i'\r
41     In the first argument of `runST', namely\r
42       `(readSTArray arr i\r
43         >>= \ val -> writeSTArray arr i (f val) >> return arr)'\r
44 \r
45 tcfail068.hs:24:35:\r
46     Could not deduce (s ~ s1)\r
47     from the context (Constructed a)\r
48       bound by the type signature for\r
49                  itrap :: Constructed a =>\r
50                           ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a\r
51       at tcfail068.hs:23:10-87\r
52       `s' is a rigid type variable bound by\r
53           the type signature for\r
54             itrap :: Constructed a =>\r
55                      ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a\r
56           at tcfail068.hs:23:10\r
57       `s1' is a rigid type variable bound by\r
58            a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
59            at tcfail068.hs:24:29\r
60     Expected type: GHC.ST.ST s1 (IndTree s a)\r
61       Actual type: GHC.ST.ST s (IndTree s a)\r
62     In the return type of a call of itrap'\r
63     In the first argument of `runST', namely `(itrap' i k)'\r
64     In the expression: runST (itrap' i k)\r
65 \r
66 tcfail068.hs:36:46:\r
67     Could not deduce (s ~ s1)\r
68     from the context (Constructed b)\r
69       bound by the type signature for\r
70                  itrapstate :: Constructed b =>\r
71                                ((Int, Int), (Int, Int))\r
72                                -> (a -> b -> (a, b))\r
73                                -> ((Int, Int) -> c -> a)\r
74                                -> (a -> c)\r
75                                -> c\r
76                                -> IndTree s b\r
77                                -> (c, IndTree s b)\r
78       at tcfail068.hs:(34,15)-(35,62)\r
79       `s' is a rigid type variable bound by\r
80           the type signature for\r
81             itrapstate :: Constructed b =>\r
82                           ((Int, Int), (Int, Int))\r
83                           -> (a -> b -> (a, b))\r
84                           -> ((Int, Int) -> c -> a)\r
85                           -> (a -> c)\r
86                           -> c\r
87                           -> IndTree s b\r
88                           -> (c, IndTree s b)\r
89           at tcfail068.hs:34:15\r
90       `s1' is a rigid type variable bound by\r
91            a type expected by the context: GHC.ST.ST s1 (c, IndTree s b)\r
92            at tcfail068.hs:36:40\r
93     Expected type: GHC.ST.ST s1 (c, IndTree s b)\r
94       Actual type: GHC.ST.ST s (c, IndTree s b)\r
95     In the return type of a call of itrapstate'\r
96     In the first argument of `runST', namely `(itrapstate' i k s)'\r
97     In the expression: runST (itrapstate' i k s)\r