The call of a procedure with parameters is written in the usual prefix style.
(315,070) (000,060)procedure-call (000,040)(1,0)030060primary (1,0)030010( (1,0)030080actual-parameter (1,0)030010) (1,0)030 (245,030)(20,20)[r] (245,020)(-1,0)040 (155,020)(1,0)040010, (155,030)(20,20)[l] (095,030)(20,20)[rt] (105,030)(0,-1)20 (115,010)(20,20)[lb] (115,000)(1,0)170 (285,010)(20,20)[rb] (295,010)(0,1)20 (305,030)(20,20)[lt]
The primary must yield a procedure. The actual-parameters must agree in number and type with the heading of one of the definitions of that procedure. Notice that a procedure without parameters is called by mentioning its name, without parameters or brackets.
(315,130) (000,120)actual-parameter (000,100)(1,0)030060expression (1,0)180 (005,090)(20,20)[rt] (015,090)(0,-1)020 (025,090)(20,20)[lb] (025,080)(1,0)005060type-declarer (1,0)030040PROC (1,0)005 (025,070)(20,20)[lb] (025,060)(1,0)070 (095,070)(20,20)[rb] (115,070)(20,20)[lt] (165,070)(20,20)[rt] (175,070)(0,-1)020 (165,050)(20,20)[rb] (165,040)(-1,0)140 (025,030)(20,20)[l] (025,020)(1,0)005100virtual-parameters-pack (1,0)030080procedure-name (1,0)005 (015,030)(0,-1)020 (025,010)(20,20)[lb] (025,000)(1,0)110 (135,010)(20,20)[rb] (155,010)(20,20)[lt] (245,030)(20,20)[rb] (255,030)(0,1)060 (265,090)(20,20)[lt]