diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/mc22.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/mc22.stderr | 33 |
1 files changed, 22 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/mc22.stderr b/testsuite/tests/typecheck/should_fail/mc22.stderr index 7a4cc4e44b..3a149fdcba 100644 --- a/testsuite/tests/typecheck/should_fail/mc22.stderr +++ b/testsuite/tests/typecheck/should_fail/mc22.stderr @@ -1,11 +1,22 @@ - -mc22.hs:10:26: - Couldn't match type ‛a’ with ‛t a’ - ‛a’ is a rigid type variable bound by - a type expected by the context: [a] -> [t a] at mc22.hs:10:9 - Expected type: [a] -> [t a] - Actual type: [a] -> [a] - Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1) - In the return type of a call of ‛take’ - In the expression: take 5 - In a stmt of a monad comprehension: then group using take 5 +
+mc22.hs:10:9:
+ No instance for (Functor t) arising from a use of ‛fmap’
+ Possible fix:
+ add (Functor t) to the context of
+ a type expected by the context: (a -> b) -> t a -> t b
+ or the inferred type of foo :: [t [Char]]
+ In the expression: fmap
+ In a stmt of a monad comprehension: then group using take 5
+ In the expression:
+ [x + 1 | x <- ["Hello", "World"], then group using take 5]
+
+mc22.hs:10:26:
+ Couldn't match type ‛a’ with ‛t a’
+ ‛a’ is a rigid type variable bound by
+ a type expected by the context: [a] -> [t a] at mc22.hs:10:9
+ Expected type: [a] -> [t a]
+ Actual type: [a] -> [a]
+ Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1)
+ In the return type of a call of ‛take’
+ In the expression: take 5
+ In a stmt of a monad comprehension: then group using take 5
|