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

tcfail196.hs:5:1:
    Illegal polymorphic or qualified type: forall a. a
    In the type signature for `bar':
      bar :: Num (forall a. a) => Int -> Int