[m-rev.] for review: fix valid/unused_args_test2 failing test case

[Ian MacLarty]

On 24 Apr 2005, at 01:54, Julien Fischer wrote:

>
> On Sat, 23 Apr 2005, Ian MacLarty wrote:
>
>> For review by anyone.
>>
>> Estimated hours taken: 4
>> Branches: main and 0.12
>>
>> Fix the valid/unused_args_test2 failing test case.  
>> map.overlay_large_map
>> was buggy.
>>
>> compiler/Mmakefile:
>> 	Include Mmake.compiler.params so that tracing can easily be turned
>> 	on for the whole compiler directory.
>>
>> library/map.m:
>> 	Fix overlay_large_map.  It was calling the wrong helper predicate.
>>
> That's fine.  (Although for future reference, Mercury implementors
> should probably not trust the standard library by default when
> debugging the compiler with the declarative debugger ;-) )
>

Hmmm, yes.  Although the buggy atom did show up in the incorrect 
contour, so it was pretty easy to work out where the actual bug was.  
It depends on what you're debugging.  If there are lots of calls to 
library predicates then not trusting the standard library can result in 
lots of superflous questions.

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