diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc211.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc211.stderr | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc211.stderr b/testsuite/tests/typecheck/should_compile/tc211.stderr new file mode 100644 index 0000000000..30d986c456 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc211.stderr @@ -0,0 +1,30 @@ + +tc211.hs:15:22: + Couldn't match expected type `a -> a' + with actual type `forall a1. a1 -> a1' + Expected type: [a -> a] + Actual type: [forall a1. a1 -> a1] + In the first argument of `head', namely `foo' + In the first argument of `(:) :: + (forall a. a -> a) + -> [forall a. a -> a] -> [forall a. a -> a]', namely + `(head foo)' + +tc211.hs:70:9: + Couldn't match expected type `a -> a' + with actual type `forall a1. a1 -> a1' + Expected type: List (forall a1. a1 -> a1) + -> (forall a1. a1 -> a1) + -> a + -> a + Actual type: List (forall a1. a1 -> a1) + -> (forall a1. a1 -> a1) + -> forall a1. a1 -> a1 + In the expression: + foo2 :: + List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a) + In the expression: + (foo2 :: + List (forall a. a -> a) + -> (forall a. a -> a) -> (forall a. a -> a)) + xs1 (\ x -> x) |