6.3. Deproceduring {Deproceduring is used when a routine without parameters is to be called. E.g., in x := random, the routine yielded by random is called and the real number yielded is assigned; the a posteriori mode of random is 'real'. Syntactically, an initial 'procedure yielding' is removed from the a priori mode.}
6.3.1. Syntax a) deprocedured to{61C ,67a} MOID FORM : MEEK{61C } procedure yielding MOID FORM.
b) softly deprocedured to{61D } MODE FORM : SOFT{61D } procedure yielding MODE FORM. {Examples:
}
6.3.2. Semantics The yield W of a deprocedured-to-MOID-FORM or softly-deprocedured-to-MOID-FORM F, in an environ E, is determined as follows:
· let {the routine} R be the yield in E of the direct descendent of F;
· W is the yield of the calling {5.4.3.2.b } of R in E;
· it is required that W be
not newer in scope than E.
Next