#5288: Less noisy version of -fwarn-name-shadowing
---------------------------------+------------------------------------------
Reporter: batterseapower | Owner:
Type: feature request | Status: new
Priority: normal | Component: Compiler
Version: 7.0.3 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Description changed by batterseapower:
Old description:
> I would like a flag that warns about name-shadowing in more restricted
> circumstances than the current flag. I.e. I would like examples like
> these not to produce a warning:
>
> {{{
> foo x = ..
> where
> bar x = ...
> }}}
>
> {{
> baz z = do
> z <- .... z ...
> return z
> }}}
>
> But I would like these to produce one:
>
> {{{
> foo x = ..
> where
> x = ... x ...
> }}}
>
> {{
> baz z = mdo
> z <- .... z ...
> return z
> }}}
>
> Basically warn when a definition shadows *itself*. My motivation is that
> code like my first two examples is almost never an error in my
> experience, but my last two examples almost always are examples of my
> accidentally building a loop that evaluates to _|_.
New description:
I would like a flag that warns about name-shadowing in more restricted
circumstances than the current flag. I.e. I would like examples like these
not to produce a warning:
{{{
foo x = ..
where
bar x = ...
}}}
{{{
baz z = do
z <- .... z ...
return z
}}}
But I would like these to produce one:
{{{
foo x = ..
where
x = ... x ...
}}}
{{{
baz z = mdo
z <- .... z ...
return z
}}}
Basically warn when a definition shadows *itself*. My motivation is that
code like my first two examples is almost never an error in my experience,
but my last two examples almost always are examples of my accidentally
building a loop that evaluates to _|_.
--
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5288#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs