Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail063.stderr
1
2 tcfail063.hs:6:9: error:
3     • Expecting one more argument to ‘Num’
4       Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’
5     • In the type signature:
6         moby :: Num => Int -> a -> Int