testsuite/tests/parser/should_fail/ParserNoForallUnicode.stderr


1
2
3
4
5
6


ParserNoForallUnicode.hs:6:8: error:
    Illegal symbol ‘∀’ in type
    Suggested fix:
      Perhaps you intended to use RankNTypes
      or a similar language extension to enable explicit-forall syntax: ∀ <tvs>. <type>