[m-rev.] for review: document how to debug the declarative debugger

[Ian MacLarty]

On 15 Jun 2005, at 20:55, Julien Fischer wrote:
>>
>> +<p>
>> +By default this directory is compiled with no tracing enabled, even
>> +when a .debug or .decldebug grade is specified.
> You might want to briefly mention what the reason for this is.
>

+This allows the declarative
+debugger to take advantage of optimisations such as
+tail recursion and reduces
+the size of the installed libraries.

>
> That looks fine otherwise.
>

Cheers,

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