path: root/testsuite/tests/typecheck/should_fail/tcfail197.stderr

tcfail197.hs:5:8: error:
    Illegal polymorphic or qualified type: forall a. a
    GHC doesn't yet support impredicative polymorphism
    In the type signature for ‘foo’: foo :: [forall a. a] -> Int