diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/PolytypeDecomp.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/PolytypeDecomp.stderr | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/PolytypeDecomp.stderr b/testsuite/tests/typecheck/should_compile/PolytypeDecomp.stderr new file mode 100644 index 0000000000..bde2a0d703 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/PolytypeDecomp.stderr @@ -0,0 +1,20 @@ + +PolytypeDecomp.hs:30:17: error: + • Couldn't match type ‘a0’ with ‘[forall a. Maybe a]’ + Expected: Id a0 + Actual: [forall a. Maybe a] + Cannot instantiate unification variable ‘a0’ + with a type involving polytypes: [forall a. Maybe a] + • In the expression: x + In the first argument of ‘myLength’, namely ‘[x, f]’ + In the expression: myLength [x, f] + +PolytypeDecomp.hs:30:19: error: + • Couldn't match type ‘a0’ with ‘[forall a. F [a]]’ + Expected: Id a0 + Actual: [forall a. F [a]] + Cannot instantiate unification variable ‘a0’ + with a type involving polytypes: [forall a. F [a]] + • In the expression: f + In the first argument of ‘myLength’, namely ‘[x, f]’ + In the expression: myLength [x, f] |