1 2 3 4 5 6 7 8 9 10 11 12
proc f(len: Int) var array: [len]Int (* @Error Array dimensions for type 'Int' should be constant *) begin return program() begin f(5) return 0u8 end.