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


1
2
3
4
5
6
7


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