I have committed a fix for PR 1707 to CVS, it is in both the trunk and the mozart-1-3-0-fixes branch, so if all goes well it will appear in Mozart/Oz 1.3.2.
If you call ozc with the --warnshadow argument (or click the 'All redeclaration' box in the compiler panel) then the compiler will emit warning messages for variable declarations that shadow existing variables. It isn't on by default because it is pretty noisy on the files I tried (Mozart compiler and test suite). However, I think it is very useful and I encourage you to try it out. Please report any problems you find with it. Thanks for all the suggestions, and to Filip for the initial patch. k _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
