Fail fast in solveLocalEqualities
[ghc.git] / testsuite / tests / typecheck / should_fail / T7778.stderr
1
2 T7778.hs:3:7: error:
3     • Expected kind ‘* -> Constraint’,
4         but ‘Num Int => Num’ has kind ‘*’
5     • In the type signature: v :: ((Num Int => Num) ()) => ()
6
7 T7778.hs:3:19: error:
8     • Expecting one more argument to ‘Num’
9       Expected a type, but ‘Num’ has kind ‘* -> Constraint’
10     • In the type signature: v :: ((Num Int => Num) ()) => ()