diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-29 12:07:43 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-29 12:07:43 +0100 |
| commit | 04a19ff07c091cf4a2515b7105b6b4bd65cb5e9f (patch) | |
| tree | 6cdccd16c326e03da292bebd81df967f47b4db39 /testsuite/tests/indexed-types/should_fail/T4099.stderr | |
| parent | 171846e44ad3179aa0b706fd68ad22b5b96609f8 (diff) | |
| download | haskell-04a19ff07c091cf4a2515b7105b6b4bd65cb5e9f.tar.gz | |
Error message wibbles
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4099.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4099.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4099.stderr b/testsuite/tests/indexed-types/should_fail/T4099.stderr index 1f5a917296..4d1935678b 100644 --- a/testsuite/tests/indexed-types/should_fail/T4099.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4099.stderr @@ -1,6 +1,6 @@ T4099.hs:11:14: - Couldn't match type `T b' with `T a0' + Couldn't match type `T a0' with `T b' NB: `T' is a type function, and may not be injective In the first argument of `foo', namely `x' In the expression: foo x |