1 2 3 4 5 6 7 8 9 10
module type Color = (red, green, blue) proc f() var a: [Color.red]Int (* @Error Array dimension must be of type 'Word' or 'Int', but got 'Color' *) return end.