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


1
2
3
4
5
6
7


SimpleFail2a.hs:11:3: error:
    • Type indexes must match class instance head
      Expected: Sd Int
        Actual: Sd a :: *
    • In the data instance declaration for ‘Sd’
      In the instance declaration for ‘C Int’