blob: 87f81d1137da84604bae06fe22c32b009077ed6c (
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
42
43
|
T5358.hs:7:1:
Couldn't match expected type ‛t1 -> t1’ with actual type ‛Int’
The equation(s) for ‛t1’ have one argument,
but its type ‛Int’ has none
T5358.hs:8:1:
Couldn't match expected type ‛t0 -> t0’ with actual type ‛Int’
The equation(s) for ‛t2’ have one argument,
but its type ‛Int’ has none
T5358.hs:10:13:
Couldn't match expected type ‛t -> a0’ with actual type ‛Int’
Relevant bindings include
x :: t (bound at T5358.hs:10:9)
prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
The function ‛t1’ is applied to one argument,
but its type ‛Int’ has none
In the first argument of ‛(==)’, namely ‛t1 x’
In the expression: t1 x == t2 x
T5358.hs:10:21:
Couldn't match expected type ‛t -> a0’ with actual type ‛Int’
Relevant bindings include
x :: t (bound at T5358.hs:10:9)
prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
The function ‛t2’ is applied to one argument,
but its type ‛Int’ has none
In the second argument of ‛(==)’, namely ‛t2 x’
In the expression: t1 x == t2 x
T5358.hs:12:15:
Exception when trying to run compile-time code:
runTest called error: forall t_0 . t_0 -> GHC.Types.Bool
Code: do { VarI _ t _ _ <- reify (mkName "prop_x1");
($) error ((++) "runTest called error: " pprint t) }
In the expression:
$(do { VarI _ t _ _ <- reify (mkName "prop_x1");
error $ ("runTest called error: " ++ pprint t) })
In an equation for ‛runTests’:
runTests
= $(do { VarI _ t _ _ <- reify (mkName "prop_x1");
error $ ("runTest called error: " ++ pprint t) })
|
