[Oz] Try statement

[Luis Omar Quesada Ramirez]

Hi,

I got a question regarding the try statement. I fed
the expression:

local
   D
in
   try
      D=true
      fail
   catch _
   then D=false
   end
   
   {Show D}
end

and I got the following error:

%***************************** failure
**************************
%**
%** Tell: true = false
%**
%** Call Stack:
%** toplevel abstraction in line 1, column 0, PC =
138244952
%**--------------------------------------------------------------

The question is why? if it is expected that the
evaluation of D=true occurs in a local space different
to the one where D=false is evaluated.

I also fed:

local
   X
in
   try
      X::1#2
      X::3#4
   catch _
   then skip
   end
   
   {Show X}
end

and _{1 2} was showed in the emulator buffer. Again, I
think it should not happen since X::1#2 is evaluated
in local space that is discarded after rising the
exception.

Cheers,

Luis

_________________________________________________________
Do You Yahoo!?
Obtenga su dirección de correo-e gratis @yahoo.com
en http://correo.espanol.yahoo.com
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.