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

The issue also affects mutually recursive groups of bindings.  If none
of the members of a recursive group is referenced, should the whole
group be declared as unused?

I vote yes.  I seem to recall that the new behaviour was the result of
user feedback, was it not?

Cheers,
        Simon

> -----Original Message-----
> From: glasgow-haskell-bugs-bounces@xxxxxxxxxxx 
> [mailto:glasgow-haskell-bugs-bounces@xxxxxxxxxxx] On Behalf 
> Of Simon Peyton-Jones
> Sent: 14 November 2003 08:37
> To: Mike Gunter; glasgow-haskell-bugs@xxxxxxxxxxx
> Subject: RE: RFunE: "Unused"ness for warnings transitive in GHC 6.0.1
> 
> 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
> | 
> | 
> | 
> 
> 
> _______________________________________________
> Glasgow-haskell-bugs mailing list
> Glasgow-haskell-bugs@xxxxxxxxxxx
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
> 
>