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