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


1
2
3
4
5
6
7
8


T7967.hs:33:26: error:
    • Couldn't match type: h0 : t0
                     with: '[]
      Expected: Index n l
        Actual: Index 'Zero (h0 : t0)
    • In the expression: IZero
      In an equation for ‘sNatToIndex’: sNatToIndex SZero HNil = IZero