[Jeremy] > All your examples look like what is currently implemented. My > preference is that global kills the local-decl only in one scope. > I'll stick with that unless Guido disagrees. At least this will break fewer code. regards.