diff options
Diffstat (limited to 'testsuite/tests/th/T5358.stderr')
-rw-r--r-- | testsuite/tests/th/T5358.stderr | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/tests/th/T5358.stderr b/testsuite/tests/th/T5358.stderr index 4bfc53a78e..cc1df54bed 100644 --- a/testsuite/tests/th/T5358.stderr +++ b/testsuite/tests/th/T5358.stderr @@ -1,4 +1,34 @@ +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 |