Dear Øystein Nytrø,
The statement "local Y in local X=[1 2] in X.1 = Y end end" is used as an
expression. Consider a fresh variable Z assigned to it, and rewrite the
browse statement as:
local Z in
Z = local Y in local X=[1 2] in X.1 = Y end end % (1)
{Browse Z}
end
You can push the assignment to Z inside (1) as:
local Y in
local X=[1 2] in
Z = (X.1 = Y)
end
end
The statement (X.1 = Y) is a valid expression, and its value is equal to
both X.1 and Y. Therefore the value of Z is 1. QED :-)
Cheers,
Raphael
On Fri, Nov 4, 2011 at 3:11 PM, Øystein Nytrø <[email protected]> wrote:
>
> Running:
> {Browse local Y in local X=[1 2] in X.1 = Y end end}
> %% (for example)
>
> yields
> "1"
>
> Would anyone care to point to where the semantics of {Browse <sentence>}
> is explained properly?
>
> Regards,
> --- Øystein Nytrø
>
>
> -------------------------------------------------------------------------------------------------------
> Inst. for datateknikk og info.vitenskap | Dept. of computer and info.
> science
> IDI, NTNU, NO-7491 TRONDHEIM, Norway
> tel +47 73594459, mob +47 91897606
>
>
>
>
>
>
>
>
>
> _________________________________________________________________________________
> mozart-users mailing list
> [email protected]
> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
