summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/mc21.stderr
blob: 337c84369b2e4b8f1f91df0f35f0f1f7105746bf (plain)
1
2
3
4
5
6
7
8
9

mc21.hs:12:26:
    Couldn't match type ‘a’ with ‘[a]’
      ‘a’ is a rigid type variable bound by
          a type expected by the context: [a] -> [[a]] at mc21.hs:12:9
    Expected type: [a] -> [[a]]
      Actual type: [a] -> [a]
    In the expression: take 5
    In a stmt of a monad comprehension: then group using take 5