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