blob: 3c6afc40b689ed27b7f6fa78305ea21acb52ede0 [file] [log] [blame]
MODULE testarrayunbounded ;
PROCEDURE foo (a: ARRAY OF ARRAY OF CARDINAL) ;
BEGIN
END foo ;
VAR
b: ARRAY [0..10], [1..5] OF CARDINAL ;
BEGIN
foo (b)
END testarrayunbounded.