simonpj at microsoft.com
Wed Aug 29 03:42:57 EDT 2007
| > How much is this style of name shadowing used in GHC? Do people think it
| > is desirable?
| Personally I like to use shadowing and I think -fwarn-name-shadowing is
| overkill, but there are cases where it can catch real bugs. Take this as a
| vote against rather than a veto; I'll go with the majority.
Me too. It is often useful, esp in a monadic context. Indeed it can *save* errors by not allowing you to refer to an out-of-date binding.
So we want each GHC module to explicitly declare what warnings it should be free of. We can either do that by
-Wall -fno-warn-name-shadowing -fno-whatever
Which do you think is best? If we can decide, I'll write it up.
I agree about -Werror for validate.
More information about the Cvs-ghc