Raft of wibbles after refactoring type-class constraint errors
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
1
2 mc22.hs:8:11:
3     No instance for (Num (t0 [Char])) arising from a use of `+'
4     Possible fix: add an instance declaration for (Num (t0 [Char]))
5     In the expression: x + 1
6     In the expression:
7       [x + 1 | x <- ["Hello", "World"], then group using take 5]
8     In an equation for `foo':
9         foo = [x + 1 | x <- ["Hello", "World"], then group using take 5]
10
11 mc22.hs:10:9:
12     No instance for (Functor t0) arising from a use of `fmap'
13     The type variable `t0' is ambiguous
14     Possible fix: add a type signature that fixes these type variable(s)
15     Note: there are several potential instances:
16       instance Functor ((,) a) -- Defined in `GHC.Base'
17       instance Functor ((->) r) -- Defined in `GHC.Base'
18       instance Functor IO -- Defined in `GHC.Base'
19       ...plus one other
20     In the expression: fmap
21     In a stmt of a monad comprehension: then group using take 5
22     In the expression:
23       [x + 1 | x <- ["Hello", "World"], then group using take 5]
24
25 mc22.hs:10:26:
26     Couldn't match type `a' with `t0 a'
27       `a' is a rigid type variable bound by
28           a type expected by the context: [a] -> [t0 a] at mc22.hs:10:9
29     Expected type: [a] -> [t0 a]
30       Actual type: [a] -> [a]
31     In the return type of a call of `take'
32     In the expression: take 5
33     In a stmt of a monad comprehension: then group using take 5