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/indexed-types/should_fail/T1897b.stderr | |
| parent | 94c2f392094629c201b68901a32d560ab1f91e7e (diff) | |
| download | haskell-52cc4e17139e7d82b1af610a0477b684209b01cb.tar.gz | |
Add missing stderr files
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T1897b.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T1897b.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr new file mode 100644 index 0000000000..ef35bacd66 --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -0,0 +1,13 @@ + +T1897b.hs:16:1: + Could not deduce (Depend a0 ~ Depend a) + from the context (Bug a) + bound by the inferred type for `isValid': + Bug a => [Depend a] -> Bool + at T1897b.hs:16:1-41 + NB: `Depend' is a type function, and may not be injective + Expected type: [Depend a] -> Bool + Actual type: [Depend a0] -> Bool + When checking that `isValid' + has the inferred type `forall a1. Bug a1 => [Depend a1] -> Bool' + Probable cause: the inferred type is ambiguous |