[m-dev.] How to tell if a predicate is external

[Julien Fischer]

On Tue, 6 Dec 2005, Ian MacLarty wrote:

> The debugger needs to know what predicates are defined externally, so
> that it knows not to expect events for those predicates.

Can't you just hardcode the identity of these predicates into the
debugger?  Aside from a bunch of stuff used to implement tabling and
profiling we're only talking about a handful of predicates, namely:

	builtin.unify
	builtin.compare
	builtin.compare_representation
	exception.builtin_catch
	exception.builtin_throw

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------