referring to the first edition of ctmcp: p. 787, the reduction rule for "local ... in ... end" shows that local statements reduce to the statement between "in" and "end", with appropriate environment and store modifications.
note that this is the core language, where, to my understanding, local-in-end is a statement, hence the part embedded between in and end is a statement, not an expression, and thus in principle has no value. not sure what you mean by 'sentence' here -- expressions? vQ On Mon, 7 Nov 2011 11:41:13 +0100, Øystein Nytrø <nyt...@idi.ntnu.no> wrote: > Dear Raphael, > thanks for you explanation. But I am still looking for the place in the > language definition where the value of > a pair of sentences is defined to be the value of the last sentence, and > similarly where the value of a "local ... in <s2> end"-sentence > is the value of the <s2>? _________________________________________________________________________________ mozart-users mailing list mozart-users@mozart-oz.org http://www.mozart-oz.org/mailman/listinfo/mozart-users
