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
| 
| 
|