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

Ian MacLarty maclarty at cs.mu.OZ.AU
Tue Dec 6 20:32:38 AEDT 2005


On Tue, Dec 06, 2005 at 02:59:00PM +1100, Julien Fischer wrote:
> 
> 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
> 

That's what I've done.  I was just wondering if there was a better
way.  I'll post the diff soon.

Ian.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list