-Wall with recursive functions

Hal Daume III hdaume@ISI.EDU
Mon, 4 Nov 2002 10:01:37 -0800 (PST)

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 

 - Hal

Hal Daume III

 "Computer science is no more about computers    | hdaume@isi.edu
  than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume