Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail196.stderr
1
2 tcfail196.hs:5:8: error:
3     • Illegal polymorphic type: forall a. a
4       GHC doesn't yet support impredicative polymorphism
5     • In the type signature:
6         bar :: Num (forall a. a) => Int -> Int