[m-rev.] for review: cliques on the stack and the debugger

[Peter Wang]

On Thu, 24 May 2012 14:54:38 +1000, Zoltan Somogyi <zs at unimelb.edu.au> wrote:
> If you get output of the form
> 
> 	? ...
> 	? ...
> 	? ...
> 	? ...
> 	? ...
> 	? ...
> 
> the programmer won't know whether these six calls come from one clique,
> or from two cliques back-to-back, without looking at the names of the called
> predicates, at which point the ? signs lose most of their usefulness.

Hi Zoltan,

It appears you weren't able to see the Unicode box drawing characters I
used in that message.  Here is an ASCII approximation:

   0       pred mutrec_higher_order.q3/3-0 (det) (mutrec_higher_order.m:233)
   1       pred mutrec_higher_order.q1/3-0 (det) (mutrec_higher_order.m:186)
   2       pred mutrec_higher_order.q2/3-0 (det) (mutrec_higher_order.m:213)
   3       pred mutrec_higher_order.repeat_steps/5-0 (det) (mutrec_higher_order.m:78)
   4  +-2* pred mutrec_higher_order.p2/3-0 (det) (mutrec_higher_order.m:133 and others)
   6  |    pred mutrec_higher_order.p3/3-0 (det) (mutrec_higher_order.m:155)
   7  | 2* pred mutrec_higher_order.p2/3-0 (det) (mutrec_higher_order.m:126 and others)
   9  +-   pred mutrec_higher_order.p3/3-0 (det) (mutrec_higher_order.m:155)
  10    2* pred mutrec_higher_order.p1/3-0 (det) (mutrec_higher_order.m:97 and others)
  12       pred mutrec_higher_order.test/2-0 (det) (mutrec_higher_order.m:43)
  13       pred mutrec_higher_order.main/2-0 (det) (mutrec_higher_order.m:34)

Peter
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------