Question: assuming and procedure parameters

Hello,

I am looking for an explanation for the following behavior :

> f := proc(x) somefunc(x) end proc:
> a := table([variable=z]):
> f(a);
somefunc(a)
> f(a) assuming z::real;
somefunc(table([variable=z]))

Why is 'a' replaced with its corresponding table in the second case? And is it possible to use the name 'a' in the return value?

-- Thanks for any reply,

Franky.
Please Wait...