diff options
author | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 15:52:35 +0000 |
---|---|---|
committer | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 15:52:35 +0000 |
commit | 83e84e35ab4b307381ac0d0cd15df3227496defb (patch) | |
tree | c858825df187de20157b903692bb09bfa8a5a278 /testsuite/tests/indexed-types/should_fail/T2544.stderr | |
parent | efb1debac24e40ad2f720d536abbd48a7bcd0904 (diff) | |
download | haskell-83e84e35ab4b307381ac0d0cd15df3227496defb.tar.gz |
Error message modifications for the new constraint solver.
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T2544.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T2544.stderr | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T2544.stderr b/testsuite/tests/indexed-types/should_fail/T2544.stderr index d25e4b0ba0..cacd5a3610 100644 --- a/testsuite/tests/indexed-types/should_fail/T2544.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2544.stderr @@ -1,22 +1,22 @@ - -T2544.hs:15:12: - Could not deduce (IxMap l ~ IxMap i0) - 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' - In the expression: BiApp empty empty - In an equation for `empty': empty = BiApp empty empty - -T2544.hs:15:24: - Could not deduce (IxMap i1 ~ IxMap r) - 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 r [Int] - Actual type: IxMap i1 [Int] - In the second argument of `BiApp', namely `empty' - In the expression: BiApp empty empty - In an equation for `empty': empty = BiApp empty empty +
+T2544.hs:15:12:
+ Could not deduce (IxMap r ~ IxMap i1)
+ 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 i1) [Int]
+ In the return type of a call of `BiApp'
+ In the expression: BiApp empty empty
+ In an equation for `empty': empty = BiApp empty empty
+
+T2544.hs:15:12:
+ Could not deduce (IxMap l ~ IxMap i0)
+ 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 i1) [Int]
+ In the return type of a call of `BiApp'
+ In the expression: BiApp empty empty
+ In an equation for `empty': empty = BiApp empty empty
|