Refactor visible type application.
[ghc.git] / testsuite / tests / typecheck / should_fail / VtaFail.stderr
1
2 VtaFail.hs:7:16: error:
3     • Cannot apply expression of type ‘t1 -> t0 -> (t1, t0)’
4       to a visible type argument ‘Int’
5     • In the expression: pairup_nosig @Int @Bool 5 True
6       In an equation for ‘answer_nosig’:
7           answer_nosig = pairup_nosig @Int @Bool 5 True
8
9 VtaFail.hs:12:26: error:
10     • No instance for (Num Bool) arising from a use of ‘addOne’
11     • In the expression: addOne @Bool 5
12       In an equation for ‘answer_constraint_fail’:
13           answer_constraint_fail = addOne @Bool 5
14
15 VtaFail.hs:14:17: error:
16     • Cannot apply expression of type ‘t1 -> t1’
17       to a visible type argument ‘Int’
18     • In the expression: (\ x -> x) @Int 12
19       In an equation for ‘answer_lambda’:
20           answer_lambda = (\ x -> x) @Int 12
21
22 VtaFail.hs:19:5: error:
23     • Cannot apply expression of type ‘Int -> (a0, Int)’
24       to a visible type argument ‘Bool’
25     • In the expression: pair 3 @Int @Bool True
26       In an equation for ‘a’: a = pair 3 @Int @Bool True
27
28 VtaFail.hs:26:15: error:
29     • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
30     • In the type ‘Int’
31       In the expression: first @Int F
32       In an equation for ‘fInt’: fInt = first @Int F
33
34 VtaFail.hs:33:18: error:
35     • Couldn't match type ‘Int’ with ‘Bool’
36       Expected type: Proxy Bool
37         Actual type: Proxy Int
38     • In the second argument of ‘foo’, namely ‘(P :: Proxy Int)’
39       In the expression: foo @Bool (P :: Proxy Int)
40       In an equation for ‘baz’: baz = foo @Bool (P :: Proxy Int)
41
42 VtaFail.hs:40:17: error:
43     • Expected kind ‘* -> k0 -> *’, but ‘Maybe’ has kind ‘* -> *’
44     • In the type ‘Maybe’
45       In the expression: too @Maybe T
46       In an equation for ‘threeBad’: threeBad = too @Maybe T
47
48 VtaFail.hs:41:27: error:
49     • Couldn't match type ‘Either’ with ‘(->)’
50       Expected type: Three (->)
51         Actual type: Three Either
52     • In the second argument of ‘too’, namely ‘(T :: Three Either)’
53       In the expression: too @(->) (T :: Three Either)
54       In an equation for ‘threeWorse’:
55           threeWorse = too @(->) (T :: Three Either)
56
57 VtaFail.hs:46:5: error:
58     • Cannot apply expression of type ‘Int -> Int -> Int’
59       to a visible type argument ‘Int’
60     • In the expression: plus @Int 5 7
61       In an equation for ‘b’: b = plus @Int 5 7
62
63 VtaFail.hs:47:5: error:
64     • Cannot apply expression of type ‘Int -> Int -> Int’
65       to a visible type argument ‘Rational’
66     • In the expression: plus @Rational 5 10
67       In an equation for ‘c’: c = plus @Rational 5 10
68
69 VtaFail.hs:48:5: error:
70     • Cannot apply expression of type ‘Int -> Int -> Int’
71       to a visible type argument ‘Int’
72     • In the expression: (+) @Int @Int @Int 12 14
73       In an equation for ‘d’: d = (+) @Int @Int @Int 12 14
74
75 VtaFail.hs:51:5: error:
76     • Cannot apply expression of type ‘Int -> String’
77       to a visible type argument ‘Float’
78     • In the expression: show @Int @Float (read "5")
79       In an equation for ‘e’: e = show @Int @Float (read "5")
80
81 VtaFail.hs:52:11: error:
82     • Cannot apply expression of type ‘String -> Int’
83       to a visible type argument ‘Bool’
84     • In the first argument of ‘show’, namely
85         ‘(read @Int @Bool @Float "3")’
86       In the expression: show (read @Int @Bool @Float "3")
87       In an equation for ‘f’: f = show (read @Int @Bool @Float "3")
88
89 VtaFail.hs:57:12: error:
90     • Expecting one more argument to ‘Maybe’
91       Expected a type, but ‘Maybe’ has kind ‘* -> *’
92     • In the type ‘Maybe’
93       In the expression: silly @Maybe
94       In an equation for ‘g’: g = silly @Maybe