testsuite/tests/typecheck/should_fail/ExplicitSpecificity6.stderr


1
2
3
4
5
6
7
8


ExplicitSpecificity6.hs:8:1: error:
    Inferred type variables are not allowed
    In an instance declaration

ExplicitSpecificity6.hs:9:3: error:
    Inferred type variables are not allowed
    In a SPECIALISE instance pragma