This is a long-standing bug which is rather tiresome to fix in general. What I've done is to commit a fix that finds the unused bindings you give, but does not find transitive ones. For example Module Foo() where f x = f t x t = 3 Here f is used, and therefore so is t. The quick fix will find the first but not the second. Ah well, it's an improvement Simon | -----Original Message----- | From: Hal Daume III [mailto:hdaume@ISI.EDU] | Sent: 04 November 2002 18:02 | To: GHC Users Mailing List | Subject: -Wall with recursive functions | | If I complile the code: | | > module Wall () where | > f x = f x | | With -Wall, I do *not* get a "defined by not used" warning on f, which I | think I should. The same thing happens for mutually-recursive functions: | | > module Wall () where | > g x = h x | > h x = g x | | does not yield warnings for unused definitions... | | Is there a reason for this (i.e., is the common behavior in other | compilers)? | | - Hal | | -- | Hal Daume III | | "Computer science is no more about computers | hdaume@isi.edu | than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users