diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
6 files changed, 36 insertions, 41 deletions
diff --git a/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr b/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr index f6df41763f..d4ce2ce007 100644 --- a/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr +++ b/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr @@ -40,7 +40,7 @@ FrozenErrorTests.hs:33:9: In an equation for `test1': test1 = goo1 False undefined FrozenErrorTests.hs:36:15: - Couldn't match type `[Int]' with `Int' + Couldn't match type `Int' with `[Int]' Expected type: [[Int]] Actual type: F [Int] Bool In the first argument of `goo2', namely `(goo1 False undefined)' @@ -48,7 +48,7 @@ FrozenErrorTests.hs:36:15: In an equation for `test2': test2 = goo2 (goo1 False undefined) FrozenErrorTests.hs:37:9: - Couldn't match type `Int' with `[Int]' + Couldn't match type `[Int]' with `Int' Expected type: [[Int]] Actual type: F [Int] Bool In the expression: goo1 False (goo2 undefined) diff --git a/testsuite/tests/typecheck/should_fail/T1899.stderr b/testsuite/tests/typecheck/should_fail/T1899.stderr index 9cb479cc6f..d7ab2be5ed 100644 --- a/testsuite/tests/typecheck/should_fail/T1899.stderr +++ b/testsuite/tests/typecheck/should_fail/T1899.stderr @@ -1,11 +1,9 @@ -
-T1899.hs:14:36:
- Couldn't match type `a' with `Proposition a0'
- `a' is a rigid type variable bound by
- the type signature for transRHS :: [a] -> Int -> Constraint a
- at T1899.hs:9:14
- Expected type: [Proposition a0]
- Actual type: [a]
- In the first argument of `Auxiliary', namely `varSet'
- In the first argument of `Prop', namely `(Auxiliary varSet)'
- In the expression: Prop (Auxiliary varSet)
+ +T1899.hs:12:29: + Couldn't match expected type `a' with actual type `Proposition a0' + `a' is a rigid type variable bound by + the type signature for transRHS :: [a] -> Int -> Constraint a + at T1899.hs:9:14 + In the return type of a call of `Auxiliary' + In the first argument of `Prop', namely `(Auxiliary undefined)' + In the expression: Prop (Auxiliary undefined) diff --git a/testsuite/tests/typecheck/should_fail/T3950.stderr b/testsuite/tests/typecheck/should_fail/T3950.stderr index c8d8340885..876a4997c5 100644 --- a/testsuite/tests/typecheck/should_fail/T3950.stderr +++ b/testsuite/tests/typecheck/should_fail/T3950.stderr @@ -1,13 +1,10 @@ T3950.hs:15:13: - Couldn't match type `Id p0 x0' with `Id p' + Couldn't match kind `* -> *' with `*' Expected type: w (Id p) Actual type: Sealed (Id p0 x0) + Kind incompatibility when matching types: + w :: (* -> * -> *) -> * + Sealed :: (* -> *) -> * In the first argument of `Just', namely rp' In the expression: Just rp' - In an equation for `rp': - rp _ - = Just rp' - where - rp' :: Sealed (Id p x) - rp' = undefined diff --git a/testsuite/tests/typecheck/should_fail/tcfail072.stderr b/testsuite/tests/typecheck/should_fail/tcfail072.stderr index a8b7bc0efb..b56f162919 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail072.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail072.stderr @@ -1,12 +1,11 @@ tcfail072.hs:23:13: - Could not deduce (Ord p0) - arising from a use of `g' + Could not deduce (Ord q0) arising from a use of `g' from the context (Ord p, Ord q) bound by the type signature for g :: (Ord p, Ord q) => AB p q -> Bool at tcfail072.hs:22:6-38 - The type variable `p0' is ambiguous + The type variable `q0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) Note: there are several potential instances: instance Ord () -- Defined in `GHC.Classes' diff --git a/testsuite/tests/typecheck/should_fail/tcfail153.stderr b/testsuite/tests/typecheck/should_fail/tcfail153.stderr index e648dc556d..200df0b6f6 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail153.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail153.stderr @@ -1,9 +1,11 @@ -tcfail153.hs:6:9: - Couldn't match expected type `a' with actual type `Bool' +tcfail153.hs:6:7: + Couldn't match type `a' with `Bool' `a' is a rigid type variable bound by the type signature for f :: a -> [a] at tcfail153.hs:5:6 - In the first argument of `g', namely `x' + Expected type: [a] + Actual type: [Bool] + In the return type of a call of `g' In the expression: g x In an equation for `f': f x diff --git a/testsuite/tests/typecheck/should_fail/tcfail201.stderr b/testsuite/tests/typecheck/should_fail/tcfail201.stderr index 1c5f59a6e4..6a60b9fc90 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail201.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail201.stderr @@ -1,15 +1,14 @@ -
-tcfail201.hs:18:28:
- Couldn't match expected type `a' with actual type `HsDoc id0'
- `a' is a rigid type variable bound by
- the type signature for
- gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
- -> (forall g. g -> c g) -> a -> c a
- at tcfail201.hs:15:12
- In the pattern: DocParagraph hsDoc
- In a case alternative:
- (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc
- In the expression:
- case hsDoc of {
- DocEmpty -> z DocEmpty
- (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }
+ +tcfail201.hs:17:27: + Couldn't match expected type `a' with actual type `HsDoc t0' + `a' is a rigid type variable bound by + the type signature for + gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b) + -> (forall g. g -> c g) -> a -> c a + at tcfail201.hs:15:12 + In the pattern: DocEmpty + In a case alternative: DocEmpty -> z DocEmpty + In the expression: + case hsDoc of { + DocEmpty -> z DocEmpty + (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc } |