Case semantic

Enrique Iurleo quiquewolf02 at gmail.com
Wed Apr 11 00:58:25 CEST 2012


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/attachments/20120410/38965c5a/attachment.html


More information about the mozart-users mailing list