Re: [Caml-list] The rec/nonrec debate

[Dario Teixeira <darioteixeira@yahoo.com>]

Hi,
 

> Perhaps a more practical approach would be to have this only at the
> documentation level, i.e. Mezzo's equivalent of ocamldoc would show a red 
> 'non tail recursive' marker in the function's doc to alert users to the
> non-tail-recursive functions (and a green tail-recursive marker for others).
> In fact this might be a nice improvement to ocamldoc too.

Yeah, I agree that having explicit tail/nontail keywords would be a bit much,
and perhaps this particular problem would be better solved at a different level.
It would be indeed great if an OCamldoc-like tool were to make this explicit.
Another good place to make this analysis would be in some sort of OCaml-lint.

Cheers,
Dario