HP Pascal/iX Reference Manual (31502-90022)

8-: 4
{ ADD_Array can be used for arrays of type arr1 and arr2
because they conform to each other.}
ADD_Array(a3,a1,a2);
ADD_Array(b3,b1,b2);
END. { Show_ConformantParm }
Conformance
A conformable test must be passed to pass an array as an actual
conformant array parameter . Actual conformant array parameters must have
a type conformable with the conformant array form corresponding to the
parameter in the procedure declaration.
If T1 is an array type with a single index type, and T2 is the type of
the index type specification of a conformant array form, then T1 is
conformable with the conformant array form if all the following are true:
* The index type of T1 is type compatible with T2.
* You cannot index a value of T1 that does not lie within the bounds
of that specified by T2.
* The component type of T1 is identical to the type identifier of
the conformant array form, or, if the element type of the
conformant array form is a conformant array form, is conformable
with the element type conformant array form in the conformant
array schema.
* Both T1 and the conformant array form are packed or both are
unpacked .
Syntax
Conf_Array_Schema:
Conf_Array: