Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / mc21.stderr
1
2 mc21.hs:12:26: error:
3     • Couldn't match type ‘a’ with ‘[a]’
4       ‘a’ is a rigid type variable bound by
5         a type expected by the context:
6           forall a. [a] -> [[a]]
7         at mc21.hs:(11,9)-(12,31)
8       Expected type: [a] -> [[a]]
9         Actual type: [[a]] -> [[a]]
10     • In the expression: take 5
11       In a stmt of a monad comprehension: then group using take 5
12       In the expression:
13         [GHC.List.length x | x <- [Gnorf, Brain], then group using take 5]