Case semantic

Enrique Iurleo quiquewolf02 at
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

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...

More information about the mozart-users mailing list