testsuite/tests/typecheck/should_fail/tcfail063.stderr


1
2
3
4
5


tcfail063.hs:6:9:
    Expecting one more argument to ‛Num’
    Expected a constraint, but ‛Num’ has kind ‛* -> Constraint’
    In the type signature for ‛moby’: moby :: Num => Int -> a -> Int