blob: a7269451fecc16a1eeb103a40dee44dbdc34ec7a (
plain)
1
2
3
4
5
6
7
|
T7967.hs:31:26:
Couldn't match type ‘'[]’ with ‘h0 : t0’
Expected type: Index n l
Actual type: Index 'Zero (h0 : t0)
In the expression: IZero
In an equation for ‘sNatToIndex’: sNatToIndex SZero HNil = IZero
|