testsuite/tests/typecheck/should_fail/T7778.stderr


1
2
3
4
5


T7778.hs:3:19:
    Expecting one more argument to ‘Num’
    Expected a type, but ‘Num’ has kind ‘* -> Constraint’
    In the type signature for ‘v’: v :: (Num Int => Num) () => ()