LCO

[Erwan Jahier]

Zoltan Somogyi wrote:

> > 2) Is LCO switch off when tracing is on ?
> 
> Effectively, yes. The code of the exit event will prevent any kind of last
> call optimization.

hmm... shouldn't we have a --trace-exit option in order to still be able
to trace programs that makes strong use of LCO ?

Is it possible to determine at compile time which predicates will do LCO
?
then we could avoid tracing the exiting of such predicates with another
--preserve-lco option.

-- 
R1.