summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7019a.stderr
blob: 2f503ed044dd52e80572fc716056f8104dbf6424 (plain)
1
2
3
4
5
6
7
8

T7019a.hs:11:1: error: [GHC-91510]
    • Illegal polymorphic type: forall b. Context (Associated a b)
      A constraint must be a monotype
    • In the context: forall b. Context (Associated a b)
      While checking the super-classes of class ‘Class’
      In the class declaration for ‘Class’
    Suggested fix: Perhaps you intended to use QuantifiedConstraints