-Wall with recursive functions

[Hal Daume III]

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