testsuite/tests/indexed-types/should_fail/T16356_Fail2.stderr


1
2
3
4
5
6
7


T16356_Fail2.hs:8:3: error:
    • Illegal duplicate variable ‘k’ in:
        ‘type T @k @k a b = k’
        The arguments to ‘T’ must all be distinct type variables
    • In the default type instance declaration for ‘T’
      In the class declaration for ‘C’