On Mon, 22 Jun 2009, Jules Bean wrote:
Miguel Mitrofanov wrote:
I so don't want to be the one supporting your code...
Well, that's lucky. Because you aren't.
I think the most frequent warning which denotes actually an error for me, is the 'unused identifier' warning, since there are often identifiers that I planned to use but forgot to use. The shadowing problem is less often a problem for me. When I refer to the wrong identifier this usually spotted by the type system, but the type system cannot find out the reason for the problem, namely two identifiers with the same name in the same scope. Sometimes I wish warnings would be emitted before (type) errors. For reading the code however it is a clear advantage to have separate names for separate things. The prime is not enough for me. Even more in a GHC error message, I often think "identifier `bar''" refers to "bar" not "bar'".