Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T7778.stderr
1
2 T7778.hs:3:6: error:
3     • Illegal qualified type: Num Int => Num
4       A constraint must be a monotype
5       Perhaps you intended to use QuantifiedConstraints
6     • In the type signature: v :: ((Num Int => Num) ()) => ()
7
8 T7778.hs:3:7: error:
9     • Expected kind ‘* -> Constraint’,
10         but ‘Num Int => Num’ has kind ‘*’
11     • In the type signature: v :: ((Num Int => Num) ()) => ()
12
13 T7778.hs:3:19: error:
14     • Expecting one more argument to ‘Num’
15       Expected a type, but ‘Num’ has kind ‘* -> Constraint’
16     • In the type signature: v :: ((Num Int => Num) ()) => ()