>
|
p := proc()
local t;
evalb( t = convert( t, '`local`' ) )
end proc;
|
Even when called on the same argument within the same scope, distinct calls yield distinct names.
>
|
q := proc()
local t;
evalb( convert( t, '`local`' ) = convert( t, '`local`' ) )
end proc:
|
This is also true for module scopes.
>
|
m := module()
export e, try1, try2;
local t;
try1 := proc() evalb( e = convert( e, '`local`' ) ) end proc;
try2 := proc() evalb( t = convert( t, '`local`' ) ) end proc;
end module:
|
This facility can be used to generate a collection of distinct objects all of which look the same.