Narrow scope of special-case for unqualified printing of names in core libraries
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail068.stderr
1
2 tcfail068.hs:14:9: error:
3     • Couldn't match type ‘s1’ with ‘s’
4       ‘s1’ is a rigid type variable bound by
5         a type expected by the context:
6           forall s1. GHC.ST.ST s1 (IndTree s a)
7         at tcfail068.hs:13:9
8       ‘s’ is a rigid type variable bound by
9         the type signature for:
10           itgen :: forall a s.
11                    Constructed a =>
12                    (Int, Int) -> a -> IndTree s a
13         at tcfail068.hs:11:10
14       Expected type: GHC.ST.ST s1 (IndTree s a)
15         Actual type: GHC.ST.ST s1 (STArray s1 (Int, Int) a)
16     • In the first argument of ‘runST’, namely
17         ‘(newSTArray ((1, 1), n) x)’
18       In the expression: runST (newSTArray ((1, 1), n) x)
19     • Relevant bindings include
20         itgen :: (Int, Int) -> a -> IndTree s a
21           (bound at tcfail068.hs:12:1)
22
23 tcfail068.hs:19:21: error:
24     • Couldn't match type ‘s’ with ‘s1’
25       ‘s’ is a rigid type variable bound by
26         the type signature for:
27           itiap :: forall a s.
28                    Constructed a =>
29                    (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
30         at tcfail068.hs:16:10
31       ‘s1’ is a rigid type variable bound by
32         a type expected by the context:
33           forall s1. GHC.ST.ST s1 (IndTree s a)
34         at tcfail068.hs:18:9
35       Expected type: STArray s1 (Int, Int) a
36         Actual type: IndTree s a
37     • In the first argument of ‘readSTArray’, namely ‘arr’
38       In the first argument of ‘(>>=)’, namely ‘readSTArray arr i’
39     • Relevant bindings include
40         arr :: IndTree s a (bound at tcfail068.hs:17:11)
41         itiap :: (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
42           (bound at tcfail068.hs:17:1)
43
44 tcfail068.hs:24:36: error:
45     • Couldn't match type ‘s’ with ‘s1’
46       ‘s’ is a rigid type variable bound by
47         the type signature for:
48           itrap :: forall a s.
49                    Constructed a =>
50                    ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a
51         at tcfail068.hs:23:10
52       ‘s1’ is a rigid type variable bound by
53         a type expected by the context:
54           forall s1. GHC.ST.ST s1 (IndTree s a)
55         at tcfail068.hs:24:29
56       Expected type: GHC.ST.ST s1 (IndTree s a)
57         Actual type: GHC.ST.ST s (IndTree s a)
58     • In the first argument of ‘runST’, namely ‘(itrap' i k)’
59       In the expression: runST (itrap' i k)
60     • Relevant bindings include
61         itrap' :: Int -> Int -> GHC.ST.ST s (IndTree s a)
62           (bound at tcfail068.hs:26:9)
63         itrapsnd :: Int -> Int -> GHC.ST.ST s (IndTree s a)
64           (bound at tcfail068.hs:29:9)
65         arr :: IndTree s a (bound at tcfail068.hs:24:23)
66         itrap :: ((Int, Int), (Int, Int))
67                  -> (a -> a) -> IndTree s a -> IndTree s a
68           (bound at tcfail068.hs:24:1)
69
70 tcfail068.hs:36:46: error:
71     • Couldn't match type ‘s’ with ‘s1’
72       ‘s’ is a rigid type variable bound by
73         the type signature for:
74           itrapstate :: forall b a c s.
75                         Constructed b =>
76                         ((Int, Int), (Int, Int))
77                         -> (a -> b -> (a, b))
78                         -> ((Int, Int) -> c -> a)
79                         -> (a -> c)
80                         -> c
81                         -> IndTree s b
82                         -> (c, IndTree s b)
83         at tcfail068.hs:34:15
84       ‘s1’ is a rigid type variable bound by
85         a type expected by the context:
86           forall s1. GHC.ST.ST s1 (c, IndTree s b)
87         at tcfail068.hs:36:40
88       Expected type: GHC.ST.ST s1 (c, IndTree s b)
89         Actual type: GHC.ST.ST s (c, IndTree s b)
90     • In the first argument of ‘runST’, namely ‘(itrapstate' i k s)’
91       In the expression: runST (itrapstate' i k s)
92     • Relevant bindings include
93         itrapstate' :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b)
94           (bound at tcfail068.hs:38:9)
95         itrapstatesnd :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b)
96           (bound at tcfail068.hs:41:9)
97         arr :: IndTree s b (bound at tcfail068.hs:36:34)
98         itrapstate :: ((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           (bound at tcfail068.hs:36:1)