Hi list, i have a doubt about the semantic of case. When i execute a case
the system does a unification of the variable and pattern? i mean.. for
example i have:
local X in
X=[1 2 3]
case X of Y|Yr then {Browse Y} {Browse Yr} else skip end
end
In this case when the "Browse" is executed browse "1" and "[2 3]".. so the
environment changes during the case? does the case a unification?
Thanks i hope your answers.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
