summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T5358.stderr
blob: 6561e08032c0e8c9980349aaf09a7714ed55066b (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:
    • Couldn't match expected type ‘Int’ with actual type ‘p1 -> p1’
    • The equation(s) for ‘t1’ have one argument,
      but its type ‘Int’ has none

T5358.hs:8:1: error:
    • Couldn't match expected type ‘Int’ with actual type ‘p0 -> p0’
    • The equation(s) for ‘t2’ have one argument,
      but its type ‘Int’ has none

T5358.hs:10:13: error:
    • Couldn't match expected type ‘t -> a0’ with actual type ‘Int’
    • 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
    • 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:
    • Couldn't match expected type ‘t -> a0’ with actual type ‘Int’
    • 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
    • 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))