Jon Harrop wrote:
> On Wednesday 21 February 2007 20:41, Sam Steingold wrote:
>> Proposal:
>> When both foo.ml and bar.ml define zot and quux.ml opens both Foo and
>> Bar, there should be a warning (when compiling quux) about Foo.zot being
>> shadowed by Bar.zot (or vice versa, depending on the order of the open
>> statements).
> 
> I think this is such a common style (I use shadowing deliberately all the 
> time) that it would be very annoying to be warned about it.

of course there should be a way to tell the compiler that the shadowing 
is intentional.