summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7778.stderr
blob: a0f10fcd92931da2ccb445f0942a44369486c246 (plain)
1
2
3
4
5
6
7
8
9
10

T7778.hs:3:7: error:
    • Expected kind ‘* -> Constraint’,
        but ‘Num Int => Num’ has kind ‘*’
    • In the type signature: v :: ((Num Int => Num) ()) => ()

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