diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-10-30 11:41:17 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-04 10:38:06 +0000 |
| commit | 5479ae0a0ff6d5df2da4f6208ce747f669c6d492 (patch) | |
| tree | 1a7d32c9657d59690c47135898086955d5907bb5 /testsuite/tests/typecheck/should_fail/tcfail201.stderr | |
| parent | 66658eedf0aa51de37ff6d2d009a2f37208985ca (diff) | |
| download | haskell-5479ae0a0ff6d5df2da4f6208ce747f669c6d492.tar.gz | |
Testsuite error message changes
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail201.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail201.stderr | 39 |
1 files changed, 20 insertions, 19 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail201.stderr b/testsuite/tests/typecheck/should_fail/tcfail201.stderr index a029e8c6d3..1270315a19 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail201.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail201.stderr @@ -1,19 +1,20 @@ - -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 - Relevant bindings include - hsDoc :: a (bound at tcfail201.hs:16:13) - gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b) - -> (forall g. g -> c g) -> a -> c a - (bound at tcfail201.hs:16:1) - 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 } +
+tcfail201.hs:18:28:
+ Couldn't match expected type ‘a’ with actual type ‘HsDoc id1’
+ ‘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
+ Relevant bindings include
+ hsDoc :: a (bound at tcfail201.hs:16:13)
+ gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
+ -> (forall g. g -> c g) -> a -> c a
+ (bound at tcfail201.hs:16:1)
+ 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 }
|