Update outputs following the unicode quote change in GHC's output
[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:11:10-55
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:11:10
15     Expected type: GHC.ST.ST s1 (IndTree s a)
16       Actual type: GHC.ST.ST s1 (STArray s1 (Int, Int) a)
17     Relevant bindings include
18       itgen :: (Int, Int) -> a -> IndTree s a
19         (bound at tcfail068.hs:12:1)
20     In the return type of a call of ‛newSTArray’
21     In the first argument of ‛runST’, namely
22       ‛(newSTArray ((1, 1), n) x)’
23     In the expression: runST (newSTArray ((1, 1), n) x)
24
25 tcfail068.hs:19:21:
26     Could not deduce (s ~ s1)
27     from the context (Constructed a)
28       bound by the type signature for
29                  itiap :: Constructed a =>
30                           (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
31       at tcfail068.hs:16:10-75
32       ‛s’ is a rigid type variable bound by
33           the type signature for
34             itiap :: Constructed a =>
35                      (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
36           at tcfail068.hs:16:10
37       ‛s1’ is a rigid type variable bound by
38            a type expected by the context: GHC.ST.ST s1 (IndTree s a)
39            at tcfail068.hs:18:9
40     Expected type: STArray s1 (Int, Int) a
41       Actual type: IndTree s a
42     Relevant bindings include
43       itiap :: (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
44         (bound at tcfail068.hs:17:1)
45       arr :: IndTree s a (bound at tcfail068.hs:17:11)
46     In the first argument of ‛readSTArray’, namely ‛arr’
47     In the first argument of ‛(>>=)’, namely ‛readSTArray arr i’
48     In the first argument of ‛runST’, namely
49       ‛(readSTArray arr i
50         >>= \ val -> writeSTArray arr i (f val) >> return arr)’
51
52 tcfail068.hs:24:35:
53     Could not deduce (s ~ s1)
54     from the context (Constructed a)
55       bound by the type signature for
56                  itrap :: Constructed a =>
57                           ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a
58       at tcfail068.hs:23:10-87
59       ‛s’ is a rigid type variable bound by
60           the type signature for
61             itrap :: Constructed a =>
62                      ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a
63           at tcfail068.hs:23:10
64       ‛s1’ is a rigid type variable bound by
65            a type expected by the context: GHC.ST.ST s1 (IndTree s a)
66            at tcfail068.hs:24:29
67     Expected type: GHC.ST.ST s1 (IndTree s a)
68       Actual type: GHC.ST.ST s (IndTree s a)
69     Relevant bindings include
70       itrap :: ((Int, Int), (Int, Int))
71                -> (a -> a) -> IndTree s a -> IndTree s a
72         (bound at tcfail068.hs:24:1)
73       arr :: IndTree s a (bound at tcfail068.hs:24:23)
74       itrapsnd :: Int -> Int -> GHC.ST.ST s (IndTree s a)
75         (bound at tcfail068.hs:29:9)
76       itrap' :: Int -> Int -> GHC.ST.ST s (IndTree s a)
77         (bound at tcfail068.hs:26:9)
78     In the return type of a call of ‛itrap'’
79     In the first argument of ‛runST’, namely ‛(itrap' i k)’
80     In the expression: runST (itrap' i k)
81
82 tcfail068.hs:36:46:
83     Could not deduce (s ~ s1)
84     from the context (Constructed b)
85       bound by the type signature for
86                  itrapstate :: Constructed b =>
87                                ((Int, Int), (Int, Int))
88                                -> (a -> b -> (a, b))
89                                -> ((Int, Int) -> c -> a)
90                                -> (a -> c)
91                                -> c
92                                -> IndTree s b
93                                -> (c, IndTree s b)
94       at tcfail068.hs:(34,15)-(35,62)
95       ‛s’ is a rigid type variable bound by
96           the type signature for
97             itrapstate :: Constructed b =>
98                           ((Int, Int), (Int, Int))
99                           -> (a -> b -> (a, b))
100                           -> ((Int, Int) -> c -> a)
101                           -> (a -> c)
102                           -> c
103                           -> IndTree s b
104                           -> (c, IndTree s b)
105           at tcfail068.hs:34:15
106       ‛s1’ is a rigid type variable bound by
107            a type expected by the context: GHC.ST.ST s1 (c, IndTree s b)
108            at tcfail068.hs:36:40
109     Expected type: GHC.ST.ST s1 (c, IndTree s b)
110       Actual type: GHC.ST.ST s (c, IndTree s b)
111     Relevant bindings include
112       itrapstate :: ((Int, Int), (Int, Int))
113                     -> (a -> b -> (a, b))
114                     -> ((Int, Int) -> c -> a)
115                     -> (a -> c)
116                     -> c
117                     -> IndTree s b
118                     -> (c, IndTree s b)
119         (bound at tcfail068.hs:36:1)
120       arr :: IndTree s b (bound at tcfail068.hs:36:34)
121       itrapstatesnd :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b)
122         (bound at tcfail068.hs:41:9)
123       itrapstate' :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b)
124         (bound at tcfail068.hs:38:9)
125     In the return type of a call of ‛itrapstate'’
126     In the first argument of ‛runST’, namely ‛(itrapstate' i k s)’
127     In the expression: runST (itrapstate' i k s)