1 2 3 4 5 6 7 8 9 10 11
module proc f(i: Word8) var a: [10]Int x: Int begin x := a[i] (* @Error Array index must be of type 'Word' or 'Int', but got 'Word8' *) return end.