Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail191.stderr
1
2 tcfail191.hs:11: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 tcfail191.hs:(10,9)-(11,31)
8       Expected type: [a] -> [[a]]
9         Actual type: [[a]] -> [[a]]
10     • In the expression: take 5
11       In a stmt of a list comprehension: then group using take 5
12       In the expression:
13         [() | x <- [Gnorf, Brain], then group using take 5]