testsuite/tests/typecheck/should_fail/AssocTyDef02.stderr


1
2
3
4
5
6
7


AssocTyDef02.hs:7:5: error:
    • Illegal argument ‘[b]’ in:
        ‘type Typ [b] = ...’
        The arguments to ‘Typ’ must all be distinct type variables
    • In the default type instance declaration for ‘Typ’
      In the class declaration for ‘Cls’