Pierre Weis <Pierre.Weis@inria.fr> writes:

> have the compiler looping, we thus need to detect looping programs and
> this is not trivial (!).

This work can be performed by the user with the aid of a device known
as a `bordometer'. Compile-time evulation by lisp and scheme compilers
is incredibly useful, and I see no particular reason caml could not
apply the same technique.

Cheers,
Julian.