Merge branch 'master' of http://darcs.haskell.org//testsuite
[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     The type variable `t0' is ambiguous
5     Possible fix: add a type signature that fixes these type variable(s)
6     Note: there is a potential instance available:
7       instance Integral a => Num (GHC.Real.Ratio a)
8         -- Defined in `GHC.Real'
9     Possible fix: add an instance declaration for (Num (t0 [Char]))
10     In the expression: x + 1
11     In the expression:
12       [x + 1 | x <- ["Hello", "World"], then group using take 5]
13     In an equation for `foo':
14         foo = [x + 1 | x <- ["Hello", "World"], then group using take 5]
15
16 mc22.hs:10:9:
17     No instance for (Functor t0) arising from a use of `fmap'
18     The type variable `t0' is ambiguous
19     Possible fix: add a type signature that fixes these type variable(s)
20     Note: there are several potential instances:
21       instance Functor ((,) a) -- Defined in `GHC.Base'
22       instance Functor ((->) r) -- Defined in `GHC.Base'
23       instance Functor IO -- Defined in `GHC.Base'
24       ...plus one other
25     In the expression: fmap
26     In a stmt of a monad comprehension: then group using take 5
27     In the expression:
28       [x + 1 | x <- ["Hello", "World"], then group using take 5]
29
30 mc22.hs:10:26:
31     Couldn't match type `a' with `t0 a'
32       `a' is a rigid type variable bound by
33           a type expected by the context: [a] -> [t0 a] at mc22.hs:10:9
34     Expected type: [a] -> [t0 a]
35       Actual type: [a] -> [a]
36     In the return type of a call of `take'
37     In the expression: take 5
38     In a stmt of a monad comprehension: then group using take 5