diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail076.stderr-hugs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail076.stderr-hugs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail076.stderr-hugs b/testsuite/tests/typecheck/should_fail/tcfail076.stderr-hugs new file mode 100644 index 0000000000..a4a05f09ba --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail076.stderr-hugs @@ -0,0 +1,4 @@ +ERROR "tcfail076.hs":18 - Inferred type is not general enough +*** Expression : \cont' -> cont a +*** Expected type : (_29 -> _28 a) -> _28 a +*** Inferred type : (_29 -> _28 _30) -> _28 _30 |