summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/mc19.stderr
blob: cc710c3b7452016b586c5bca2303b9ae672f94a3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

mc19.hs:10:31: error: [GHC-25897]
    • Couldn't match type ‘a’ with ‘[a]’
      Expected: [a] -> [a]
        Actual: [a] -> [[a]]
      ‘a’ is a rigid type variable bound by
        a type expected by the context:
          forall {a}. [a] -> [a]
        at mc19.hs:10:31-35
    • In the expression: inits
      In a stmt of a monad comprehension: then inits
      In the expression: [x | x <- [3, 2, 1], then inits]