<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">70/30 ;-)</span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;"><br class=""></span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;"><br class=""></span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">> VAR
> nbrOfBirthsPerMonth: ARRAY 12 OF INTEGER;
> nbrOfAccidentsPerMonth: ARRAY 12 OF INTEGER;
>
> nbrOfBirthPerMonth := nbrOfAccidentsPerMonth (* these match</span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">> structurally but makes not much sense, should be forbidden *)
></span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">> If you want to write a generic module handling monthly statistics,</span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">> you have open ARRAYs and the exceptions for assignments of actual to formal.
>
> PROCEDURE StoreYear (a: ARRAY OF INTEGER); (* … *)
></span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">> StoreYear (nbrOfBirthsPerMonth); (* structural match *)
> StoreYear (nbrOfAccidentsPerMonth);
>
> If you have a procedure like StoreBirths (); you should not</span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">> use open ARRAYs, as then StoreBirths (nbrOfAccidentsPerMonth)</span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">> would be possible…</span></font></div><div class=""><font face="monospace" class=""><span class="" style="white-space: pre-wrap;">>
> br
>
> Jörg
<br class=""></span></font></div></body></html>