testsuite/tests/typecheck/should_fail/T5957.stderr


1
2
3
4
5


T5957.hs:3:9: error:
    Illegal polymorphic or qualified type: Show a => a -> String
    Perhaps you intended to use RankNTypes or Rank2Types
    In the type signature: flex :: Int -> Show a => a -> String