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

[Julien Fischer]

On Tue, 26 Apr 2005, Ian MacLarty wrote:

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

Have you tried rerunning it with the library untrusted.  I'm
wondering whether it would take you exactly to the bug.

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