Marcov,
I believe it should not, with level 0. It might compile at level 1, because that does allow array references within the procedure parameter header. In level 0, procedure parameters are type identified by a type label (id) only.
I should stipulate that I am not an expert on ISO 7185 level 1. I have never used it nor implemented it. Pascal-P5 is only level 0 compliant, and I don't plan on implementing level 1.