Yves Jaradin wrote:
It should be possible to use

import
BootName(newNamed) at 'x-oz://boot/Name'

...

FX = fVar({BootName.newNamed 'X'} C)

Yes, this is what I was thinking about. I think that code expansion should always use this when introducing new identifiers.

Well, it is rather irritating, but sometimes it would help find some shadowing problems. Which should be history now :-)

It's also the only warning we get if we do something like:
local
  local
     SomeId
  in
     SomzId={Browse}
  end
in
  skip
end

Ahem. I have no doubt *you* are used to write this kind of things, Yves... ;p

Cheers,
raph

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to