testsuite/tests/typecheck/should_fail/T7019a.stderr


1
2
3
4
5
6


T7019a.hs:11:1:
    Malformed predicate `forall b. Context (Associated a b)'
    In the context: (forall b. Context (Associated a b))
    While checking the super-classes of class `Class'
    In the class declaration for `Class'