Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / T9196.stderr
1
2 T9196.hs:4:6: error:
3     • Illegal polymorphic type: forall a1. Eq a1
4       A constraint must be a monotype
5     • In the type signature:
6         f :: (forall a. Eq a) => a -> a
7
8 T9196.hs:7:6: error:
9     • Illegal qualified type: Eq a => Ord a
10       A constraint must be a monotype
11     • In the type signature:
12         g :: (Eq a => Ord a) => a -> a