blob: 4dfd36f8c44353f9b93a16b5d6959a8fe58d93c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
T5358.hs:7:1: error: [GHC-83865]
• Couldn't match expected type ‘Int’ with actual type ‘p1 -> p1’
• The equation for ‘t1’ has one value argument,
but its type ‘Int’ has none
T5358.hs:8:1: error: [GHC-83865]
• Couldn't match expected type ‘Int’ with actual type ‘p0 -> p0’
• The equation for ‘t2’ has one value argument,
but its type ‘Int’ has none
T5358.hs:10:13: error: [GHC-83865]
• Couldn't match expected type ‘t -> a0’ with actual type ‘Int’
• The function ‘t1’ is applied to one value argument,
but its type ‘Int’ has none
In the first argument of ‘(==)’, namely ‘t1 x’
In the expression: t1 x == t2 x
• Relevant bindings include
x :: t (bound at T5358.hs:10:9)
prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
T5358.hs:10:21: error: [GHC-83865]
• Couldn't match expected type ‘t -> a0’ with actual type ‘Int’
• The function ‘t2’ is applied to one value argument,
but its type ‘Int’ has none
In the second argument of ‘(==)’, namely ‘t2 x’
In the expression: t1 x == t2 x
• Relevant bindings include
x :: t (bound at T5358.hs:10:9)
prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
T5358.hs:14:12: error:
• Exception when trying to run compile-time code:
runTest called error: forall {t_0 :: *} . t_0 -> GHC.Types.Bool
CallStack (from HasCallStack):
error, called at T5358.hs:15:18 in main:T5358
Code: (do VarI _ t _ <- reify (mkName "prop_x1")
error $ ("runTest called error: " ++ pprint t))
• In the untyped splice:
$(do VarI _ t _ <- reify (mkName "prop_x1")
error $ ("runTest called error: " ++ pprint t))
|
