T5358.stderr 1.61 KB
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2

T5358.hs:7:1:
3
    Couldn't match expected type `t1 -> t1' with actual type `Int'
Simon Peyton Jones's avatar
Simon Peyton Jones committed
4 5 6 7
    The equation(s) for `t1' have one argument,
    but its type `Int' has none

T5358.hs:8:1:
8
    Couldn't match expected type `t0 -> t0' with actual type `Int'
Simon Peyton Jones's avatar
Simon Peyton Jones committed
9 10 11 12
    The equation(s) for `t2' have one argument,
    but its type `Int' has none

T5358.hs:10:13:
13 14 15 16
    Couldn't match expected type `t -> a0' with actual type `Int'
    Relevant bindings include
      prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
      x :: t (bound at T5358.hs:10:9)
Simon Peyton Jones's avatar
Simon Peyton Jones committed
17 18 19 20
    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
21 22

T5358.hs:10:21:
23 24 25 26
    Couldn't match expected type `t -> a0' with actual type `Int'
    Relevant bindings include
      prop_x1 :: t -> Bool (bound at T5358.hs:10:1)
      x :: t (bound at T5358.hs:10:9)
27 28 29 30
    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
31 32 33 34 35 36 37 38 39 40 41 42 43

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) })