summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_fail/T3095.stderr
blob: ebb42b5be11059c6e9ffdbd124109b3d36e9b1af (plain)
1
2
3
4
5
6
7
8
9
10
11
12

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

T3095.hs:8:12: error:
    Unexpected type ‘forall x. x :: Type’
    In the class declaration for ‘Bla’
    A class declaration should have form
      class Bla a where ...