Re: RFunE: "Unused"ness for warnings transitive in GHC 6.0.1

Is it hard to treat all names beginning with '_' as used (and
otherwise behave as GHC6 does)?  That seems to give us the best of
both worlds.  Or no?

        mike


> I'd be interested to know what others think about this.  The
> disadvantage with the GHC5 behaviour is that you might see a warning
> about "unused f", remove the definition of "f", and thereby provoke a
> new warning, for a function "g" that was mentioned in f's right hand
> side.  
>
> It's easy to change -- the only question is what the desired behaviour
> should be.
>
> simon
>
> | -----Original Message-----
> | From: glasgow-haskell-bugs-bounces@xxxxxxxxxxx
> [mailto:glasgow-haskell-bugs-
> | bounces@xxxxxxxxxxx] On Behalf Of Mike Gunter
> | Sent: 14 November 2003 06:58
> | To: glasgow-haskell-bugs@xxxxxxxxxxx
> | Subject: RFunE: "Unused"ness for warnings transitive in GHC 6.0.1
> | 
> | 
> | GHC 5 seemed to warn that a binding was unused if it was never
> | referenced.  Now (on 6.0.1) it seems to warn if a binding is never
> | referenced by a used binding.  I.e, "used"ness is now transitive.
> | (Neither version warns about bindings with names beginning with '_'.)
> | 
> | I like the old behavior much better.  I often have unexported bindings
> | (e.g. for testing) with names beginning with '_'.  Sometimes these are
> | the exclusive users of imported or locally defined bindings.  With the
> | GHC 5, I got no warnings.  With GHC 6, I do.
> | 
> | Loading the attached file gives me no warnings (with -Wall
> | -fno-warn-missing-signatures -fno-warn-type-defaults) on GHCi 5.04.3.
> | I get several on GHCi 6.0.1.
> | 
> |     thanks,
> |     mike
> | 
> | 
> |