Built-in Natural literals in Core
[ghc.git] / testsuite / tests / ghci / scripts / Defer02.stderr
1
2 Defer01.hs:11:40: warning: [-Wdeferred-type-errors (in -Wdefault)]
3     • Couldn't match type ‘Char’ with ‘[Char]’
4       Expected type: String
5         Actual type: Char
6     • In the first argument of ‘putStr’, namely ‘','’
7       In the second argument of ‘(>>)’, namely ‘putStr ','’
8       In the expression: putStr "Hello World" >> putStr ','
9
10 Defer01.hs:14:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
11     • Couldn't match expected type ‘Int’ with actual type ‘Char’
12     • In the expression: 'p'
13       In an equation for ‘a’: a = 'p'
14
15 Defer01.hs:18:7: warning: [-Wdeferred-type-errors (in -Wdefault)]
16     • No instance for (Eq B) arising from a use of ‘==’
17     • In the expression: x == x
18       In an equation for ‘b’: b x = x == x
19
20 Defer01.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)]
21     Pattern match has inaccessible right hand side
22     In an equation for ‘c’: c (C2 x) = ...
23
24 Defer01.hs:25:4: warning: [-Winaccessible-code (in -Wdefault)]
25     • Couldn't match type ‘Int’ with ‘Bool’
26       Inaccessible code in
27         a pattern with constructor: C2 :: Bool -> C Bool,
28         in an equation for ‘c’
29     • In the pattern: C2 x
30       In an equation for ‘c’: c (C2 x) = True
31
32 Defer01.hs:28:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
33     • No instance for (Num (a -> a)) arising from the literal ‘1’
34         (maybe you haven't applied a function to enough arguments?)
35     • In the expression: 1
36       In an equation for ‘d’: d = 1
37
38 Defer01.hs:31:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
39     • Couldn't match expected type ‘Char -> t’ with actual type ‘Char’
40     • The function ‘e’ is applied to one argument,
41       but its type ‘Char’ has none
42       In the expression: e 'q'
43       In an equation for ‘f’: f = e 'q'
44     • Relevant bindings include f :: t (bound at Defer01.hs:31:1)
45
46 Defer01.hs:34:8: warning: [-Wdeferred-type-errors (in -Wdefault)]
47     • Couldn't match expected type ‘Char’ with actual type ‘a’
48       ‘a’ is a rigid type variable bound by
49         the type signature for:
50           h :: forall a. a -> (Char, Char)
51         at Defer01.hs:33:1-21
52     • In the expression: x
53       In the expression: (x, 'c')
54       In an equation for ‘h’: h x = (x, 'c')
55     • Relevant bindings include
56         x :: a (bound at Defer01.hs:34:3)
57         h :: a -> (Char, Char) (bound at Defer01.hs:34:1)
58
59 Defer01.hs:39:17: warning: [-Wdeferred-type-errors (in -Wdefault)]
60     • Couldn't match expected type ‘Bool’ with actual type ‘T a’
61     • In the first argument of ‘not’, namely ‘(K a)’
62       In the first argument of ‘seq’, namely ‘(not (K a))’
63       In the expression: seq (not (K a)) ()
64     • Relevant bindings include
65         a :: a (bound at Defer01.hs:39:3)
66         i :: a -> () (bound at Defer01.hs:39:1)
67
68 Defer01.hs:43:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
69     • No instance for (MyClass a1) arising from a use of ‘myOp’
70     • In the expression: myOp 23
71       In an equation for ‘j’: j = myOp 23
72
73 Defer01.hs:43:10: warning: [-Wdeferred-type-errors (in -Wdefault)]
74     • Ambiguous type variable ‘a1’ arising from the literal ‘23’
75       prevents the constraint ‘(Num a1)’ from being solved.
76       Probable fix: use a type annotation to specify what ‘a1’ should be.
77       These potential instances exist:
78         instance Num Integer -- Defined in ‘GHC.Num’
79         instance Num Double -- Defined in ‘GHC.Float’
80         instance Num Float -- Defined in ‘GHC.Float’
81         ...plus two others
82         ...plus one instance involving out-of-scope types
83         (use -fprint-potential-instances to see them all)
84     • In the first argument of ‘myOp’, namely ‘23’
85       In the expression: myOp 23
86       In an equation for ‘j’: j = myOp 23
87
88 Defer01.hs:47:7: warning: [-Wdeferred-type-errors (in -Wdefault)]
89     • Couldn't match expected type ‘Bool’ with actual type ‘Int’
90     • In the expression: x
91       In an equation for ‘k’: k x = x
92
93 Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
94     • Couldn't match expected type ‘IO a0’
95                   with actual type ‘Char -> IO ()’
96     • Probable cause: ‘putChar’ is applied to too few arguments
97       In the first argument of ‘(>>)’, namely ‘putChar’
98       In the expression: putChar >> putChar 'p'
99       In an equation for ‘l’: l = putChar >> putChar 'p'
100 *** Exception: Defer01.hs:11:40: error:
101     • Couldn't match type ‘Char’ with ‘[Char]’
102       Expected type: String
103         Actual type: Char
104     • In the first argument of ‘putStr’, namely ‘','’
105       In the second argument of ‘(>>)’, namely ‘putStr ','’
106       In the expression: putStr "Hello World" >> putStr ','
107 (deferred type error)
108 *** Exception: Defer01.hs:14:5: error:
109     • Couldn't match expected type ‘Int’ with actual type ‘Char’
110     • In the expression: 'p'
111       In an equation for ‘a’: a = 'p'
112 (deferred type error)
113 *** Exception: Defer01.hs:18:7: error:
114     • No instance for (Eq B) arising from a use of ‘==’
115     • In the expression: x == x
116       In an equation for ‘b’: b x = x == x
117 (deferred type error)
118
119 <interactive>:10:11: error:
120     • Couldn't match type ‘Bool’ with ‘Int’
121       Expected type: C Int
122         Actual type: C Bool
123     • In the first argument of ‘c’, namely ‘(C2 True)’
124       In the first argument of ‘print’, namely ‘(c (C2 True))’
125       In the expression: print (c (C2 True))
126 *** Exception: Defer01.hs:28:5: error:
127     • No instance for (Num (a -> a)) arising from the literal ‘1’
128         (maybe you haven't applied a function to enough arguments?)
129     • In the expression: 1
130       In an equation for ‘d’: d = 1
131 (deferred type error)
132 *** Exception: Defer01.hs:31:5: error:
133     • Couldn't match expected type ‘Char -> t’ with actual type ‘Char’
134     • The function ‘e’ is applied to one argument,
135       but its type ‘Char’ has none
136       In the expression: e 'q'
137       In an equation for ‘f’: f = e 'q'
138     • Relevant bindings include f :: t (bound at Defer01.hs:31:1)
139 (deferred type error)
140 *** Exception: Defer01.hs:34:8: error:
141     • Couldn't match expected type ‘Char’ with actual type ‘a’
142       ‘a’ is a rigid type variable bound by
143         the type signature for:
144           h :: forall a. a -> (Char, Char)
145         at Defer01.hs:33:1-21
146     • In the expression: x
147       In the expression: (x, 'c')
148       In an equation for ‘h’: h x = (x, 'c')
149     • Relevant bindings include
150         x :: a (bound at Defer01.hs:34:3)
151         h :: a -> (Char, Char) (bound at Defer01.hs:34:1)
152 (deferred type error)
153 *** Exception: Defer01.hs:39:17: error:
154     • Couldn't match expected type ‘Bool’ with actual type ‘T a’
155     • In the first argument of ‘not’, namely ‘(K a)’
156       In the first argument of ‘seq’, namely ‘(not (K a))’
157       In the expression: seq (not (K a)) ()
158     • Relevant bindings include
159         a :: a (bound at Defer01.hs:39:3)
160         i :: a -> () (bound at Defer01.hs:39:1)
161 (deferred type error)
162 *** Exception: Defer01.hs:43:5: error:
163     • No instance for (MyClass a1) arising from a use of ‘myOp’
164     • In the expression: myOp 23
165       In an equation for ‘j’: j = myOp 23
166 (deferred type error)
167
168 <interactive>:16:8: error:
169     • Couldn't match type ‘Int’ with ‘Bool’ arising from a use of ‘k’
170     • In the first argument of ‘print’, namely ‘(k 2)’
171       In the expression: print (k 2)
172       In an equation for ‘it’: it = print (k 2)
173 *** Exception: Defer01.hs:50:5: error:
174     • Couldn't match expected type ‘IO a0’
175                   with actual type ‘Char -> IO ()’
176     • Probable cause: ‘putChar’ is applied to too few arguments
177       In the first argument of ‘(>>)’, namely ‘putChar’
178       In the expression: putChar >> putChar 'p'
179       In an equation for ‘l’: l = putChar >> putChar 'p'
180 (deferred type error)