Use of variables in patterns

[Filip Konvička]

> 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.

Cool! What about enabling it by default in the OPI?

Cheers,
Filip