diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-08-02 18:00:57 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-08-02 18:00:57 +0100 |
| commit | 1aa636c5f0fc4557d26435665f40128c6b1f753f (patch) | |
| tree | 3a6f3352ee098dcc10fbfc5fdcba8760109fc42f /testsuite/tests/indexed-types/should_fail/T2544.stderr | |
| parent | 87a5ef5f2cc20acde5febae1e3ce6989caf8accc (diff) | |
| download | haskell-1aa636c5f0fc4557d26435665f40128c6b1f753f.tar.gz | |
Error message wibbles due to reordering constraints (the DPH problem)
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T2544.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T2544.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T2544.stderr b/testsuite/tests/indexed-types/should_fail/T2544.stderr index d25e4b0ba0..6c977bf833 100644 --- a/testsuite/tests/indexed-types/should_fail/T2544.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2544.stderr @@ -1,12 +1,12 @@ -T2544.hs:15:12: - Could not deduce (IxMap l ~ IxMap i0) +T2544.hs:15:18: + Could not deduce (IxMap i0 ~ IxMap l) from the context (Ix l, Ix r) bound by the instance declaration at T2544.hs:13:10-37 NB: `IxMap' is a type function, and may not be injective - Expected type: IxMap (l :|: r) [Int] - Actual type: BiApp (IxMap i0) (IxMap r) [Int] - In the return type of a call of `BiApp' + Expected type: IxMap l [Int] + Actual type: IxMap i0 [Int] + In the first argument of `BiApp', namely `empty' In the expression: BiApp empty empty In an equation for `empty': empty = BiApp empty empty |