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 (s ~ s1)\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       `s' is a rigid type variable bound by\r
9           the type signature for\r
10             itgen :: Constructed a => (Int, Int) -> a -> IndTree s a\r
11           at tcfail068.hs:12:1\r
12       `s1' is a rigid type variable bound by\r
13            a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
14            at tcfail068.hs:13:9\r
15     Expected type: GHC.ST.ST s1 (IndTree s 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:20:9:\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: GHC.ST.ST s1 ()\r
37       Actual type: GHC.ST.ST s ()\r
38     In the return type of a call of `writeSTArray'\r
39     In the first argument of `(>>)', namely\r
40       `writeSTArray arr i (f val)'\r
41 \r
42 tcfail068.hs:24:35:\r
43     Could not deduce (s ~ s1)\r
44     from the context (Constructed a)\r
45       bound by the type signature for\r
46                  itrap :: Constructed a =>\r
47                           ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a\r
48       at tcfail068.hs:(24,1)-(32,41)\r
49       `s' is a rigid type variable bound by\r
50           the type signature for\r
51             itrap :: Constructed a =>\r
52                      ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a\r
53           at tcfail068.hs:24:1\r
54       `s1' is a rigid type variable bound by\r
55            a type expected by the context: GHC.ST.ST s1 (IndTree s a)\r
56            at tcfail068.hs:24:29\r
57     Expected type: GHC.ST.ST s1 (IndTree s a)\r
58       Actual type: GHC.ST.ST s (IndTree s a)\r
59     In the return type of a call of itrap'\r
60     In the first argument of `runST', namely `(itrap' i k)'\r
61 \r
62 tcfail068.hs:36:46:\r
63     Could not deduce (s ~ s1)\r
64     from the context (Constructed b)\r
65       bound by the type signature for\r
66                  itrapstate :: Constructed b =>\r
67                                ((Int, Int), (Int, Int))\r
68                                -> (a -> b -> (a, b))\r
69                                -> ((Int, Int) -> c -> a)\r
70                                -> (a -> c)\r
71                                -> c\r
72                                -> IndTree s b\r
73                                -> (c, IndTree s b)\r
74       at tcfail068.hs:(36,1)-(45,66)\r
75       `s' is a rigid type variable bound by\r
76           the type signature for\r
77             itrapstate :: Constructed b =>\r
78                           ((Int, Int), (Int, Int))\r
79                           -> (a -> b -> (a, b))\r
80                           -> ((Int, Int) -> c -> a)\r
81                           -> (a -> c)\r
82                           -> c\r
83                           -> IndTree s b\r
84                           -> (c, IndTree s b)\r
85           at tcfail068.hs:36:1\r
86       `s1' is a rigid type variable bound by\r
87            a type expected by the context: GHC.ST.ST s1 (c, IndTree s b)\r
88            at tcfail068.hs:36:40\r
89     Expected type: GHC.ST.ST s1 (c, IndTree s b)\r
90       Actual type: GHC.ST.ST s (c, IndTree s b)\r
91     In the return type of a call of itrapstate'\r
92     In the first argument of `runST', namely `(itrapstate' i k s)'\r