testsuite/tests/typecheck/should_fail/mc22.stderr

   1 \r
   2 mc22.hs:9:9:\r
   3     No instance for (Functor t) arising from a use of ‘fmap’\r
   4     Possible fix:\r
   5       add (Functor t) to the context of\r
   6         a type expected by the context: (a -> b) -> t a -> t b\r
   7         or the inferred type of foo :: [t [Char]]\r
   8     In the expression: fmap\r
   9     In a stmt of a monad comprehension: then group using take 5\r
  10     In the expression:\r
  11       [x + 1 | x <- ["Hello", "World"], then group using take 5]\r
  12 \r
  13 mc22.hs:10:26:\r
  14     Couldn't match type ‘a’ with ‘t a’\r
  15       ‘a’ is a rigid type variable bound by\r
  16           a type expected by the context: [a] -> [t a] at mc22.hs:9:9\r
  17     Expected type: [a] -> [t a]\r
  18       Actual type: [t a] -> [t a]\r
  19     Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1)\r
  20     In the expression: take 5\r
  21     In a stmt of a monad comprehension: then group using take 5\r