summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_fail/ParserNoForallUnicode.stderr
blob: 6ad0cbba11dda810c2263b21601597bafa6ddd26 (plain)
1
2
3
4
5

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