diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-08-16 17:31:12 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-08-16 17:31:12 +0100 |
| commit | 52cc4e17139e7d82b1af610a0477b684209b01cb (patch) | |
| tree | 9ce700a75fe217244421f2811025b41e21c50232 /testsuite/tests/typecheck/should_fail/T1897a.stderr | |
| parent | 94c2f392094629c201b68901a32d560ab1f91e7e (diff) | |
| download | haskell-52cc4e17139e7d82b1af610a0477b684209b01cb.tar.gz | |
Add missing stderr files
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T1897a.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T1897a.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T1897a.stderr b/testsuite/tests/typecheck/should_fail/T1897a.stderr new file mode 100644 index 0000000000..bbbf8260bd --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T1897a.stderr @@ -0,0 +1,8 @@ + +T1897a.hs:9:1: + Ambiguous type variable `a0' in the constraint: + (Wob a0 b) arising from the ambiguity check for `foo' + Probable fix: add a type signature that fixes these type variable(s) + When checking that `foo' + has the inferred type `forall a b. Wob a b => b -> [b]' + Probable cause: the inferred type is ambiguous |