[m-dev.] skipped predicates

[Fergus Henderson]

On 18-Sep-1998, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> One thing that is missing in the current Mercury tracer is handling of
> skipped predicates. 

I'm not sure what you mean.
What are "skipped predicates" and how should they be handled?

> Skipped predicates are particulary usefull to handle predicates that are
> defined in modules that have not been compiled with --trace option on.
> 
> One thing we could do to handle them is to pre-process the modules we
> want to trace by replacing all the predicates that are defined in
> "skipped" modules (append), by fresh ones (append_skipped)  which will
> simply call the former (append_skipped(L1, L2, L3) :- append(L1, L2, L3)
> ).

It sounds a bit like you are trying to reinvent the `--trace interfaces'
option.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.