[m-rev.] For review: Declarative debugger documentation

[Ian MacLarty]

>>
>> +		Payment = payment(Date, Amount).
>> +	
>> + at end example
>> +
>> +Suppose that get_payment produces an incorrect result and the 
>> declarative
>
> I suggest inserting "@noindent" here.
>

Done.

>> +debugger asks:
>> +
>> + at example
>> +	get_payment(loan(...), 10, payment(date(9, 10, 1977), 
>> 10.000000000000).
>> +	Valid?
>> + at end example
>> +
>> +Then if we know that this is the right payment amount for the given 
>> loan,
>> +but the date is incorrect, we can mark the date(...) subterm and the
>
> And here.
>

Done

>> + at example
>> +	get_payment(loan(...), 10, payment(date(9, 10, 1977), 23.45)).
>> +	Valid? browse
>> +	browser> cd 3/1
>> +	browser> mark
>> +	get_payment_date(loan(...), 10, dat(9, 10, 1977)).
>> +	Valid?
>> + at end example
>> +	
>> +Thus irrelevant questions about get_payment_amount are avoided.
>
> And here.
>

Done.

I also fixed an inconsistency between the two examples (the amount 
figure changed) and enclosed predicate references in the text in 
@code{}.

Ian.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------