[m-rev.] for review: making decldebug grades not imply trailing

[Ian MacLarty]

On 17 May 2005, at 14:34, Zoltan Somogyi wrote:

> For review by anyone. With this change, the executable of the compiler 
> in
> asm_fast.gc.decldebug is only 13% larger than in asm_fast.gc.debug.tr.
>

Do you think it's worth making .debug the same as .decldebug?  The only 
thing the declarative debugger can do in the .decldebug grades but not 
the .debug grades is subterm dependency tracking.

> Zoltan.
>
> compiler/handle_options.m:
> scripts/final_grade_options.sh-subr:
> 	Make only .debug imply .tr, not .decldebug. Declarative debugging
> 	requires retries, which work in trailing grades only if the entity
> 	that does the trailing is prepared for them.
>
> configure.in:
> 	Make the decldebug grade installed when enabled be the one without 
> .tr.
>

That all looks fine.

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