Hi all,

Say I have a file containing a number if Ocaml functions. 

We all know the advantages of tail recursive functions over non-tail
recursive ones and some of us know if a simple function is tail
recursice just by looking at it. However, for more complex functions
it would be really nice if there was a compiler mode that could print 
which recursive functions in a file were tail recursive and which were 
not.

Is there a way to do this? Does anyone else think this would be a useful
feature?

Cheers,
Erik
-- 
+-----------------------------------------------------------+
  Erik de Castro Lopo
+-----------------------------------------------------------+
"I saw `cout' being shifted "Hello world" times to the left 
and stopped right there." -- Steve Gonedes