diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T2239.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T2239.stderr | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T2239.stderr b/testsuite/tests/indexed-types/should_fail/T2239.stderr new file mode 100644 index 0000000000..b8d5fc7a36 --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/T2239.stderr @@ -0,0 +1,30 @@ + +T2239.hs:47:13: + Couldn't match expected type `b -> b' + with actual type `forall b1. MyEq b1 Bool => b1 -> b1' + Expected type: (forall b1. MyEq b1 Bool => b1 -> b1) -> b -> b + Actual type: (forall b1. MyEq b1 Bool => b1 -> b1) + -> forall b1. MyEq b1 Bool => b1 -> b1 + In the expression: + id :: + (forall b. MyEq b Bool => b -> b) + -> (forall b. MyEq b Bool => b -> b) + In an equation for `complexFD': + complexFD + = id :: + (forall b. MyEq b Bool => b -> b) + -> (forall b. MyEq b Bool => b -> b) + +T2239.hs:50:13: + Couldn't match expected type `b -> b' + with actual type `forall b1. b1 ~ Bool => b1 -> b1' + Expected type: (forall b1. b1 ~ Bool => b1 -> b1) -> b -> b + Actual type: (forall b1. b1 ~ Bool => b1 -> b1) + -> forall b1. b1 ~ Bool => b1 -> b1 + In the expression: + id :: + (forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b) + In an equation for `complexTF': + complexTF + = id :: + (forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b) |