Annotation of 43BSDReno/pgrm/pascal/tstpx/src/t6.6.3.1-5.p, revision 1.1.1.1

1.1       root        1: {TEST 6.6.3.1-5, CLASS=CONFORMANCE}
                      2: 
                      3: { When a procedure (or function) with a parameter list is
                      4:   included in the formal parameter list of another procedure
                      5:   (or function), the identifiers in the parameter list of the
                      6:   procedure parameter have defining occurences for that list
                      7:   and the corresponding block for the procedure only, and not
                      8:   for the block of the procedure to which it is passed.
                      9:   The example in this program should be passed by the compiler. }
                     10: 
                     11: program t6p6p3p1d5(output);
                     12: var
                     13:    i : integer;
                     14: procedure alsoconforms(x : integer);
                     15: begin
                     16:    writeln(' PASS...6.6.3.1-5')
                     17: end;
                     18: 
                     19: procedure conforms(procedure alsoconforms(x : integer));
                     20:    var x : boolean;
                     21: begin
                     22:    x:=true;
                     23:    alsoconforms(1)
                     24: end;
                     25: 
                     26: begin
                     27:    i:=2;
                     28:    conforms(alsoconforms)
                     29: end.

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.