[m-rev.] for review: fix some decldebug test case failures

Ian MacLarty maclarty at csse.unimelb.edu.au
Tue Dec 5 18:13:27 AEDT 2006


On Tue, Dec 05, 2006 at 04:58:53PM +1100, Zoltan Somogyi wrote:
> This is pending bootcheck.
> 
> The remaining bug in condition_bug seems worth fixing only after the
> polymorphism transformation has had its premature optimization undone.
> 
> Zoltan.
> 
> Fix some test case failures in decldebug grades.
> 
> tests/debugger/declarative/loopcheck.exp3:
> 	Expect a different number of events after recent changes to io.m.
> 
> tests/debugger/declarative/condition_bug.{m,inp,exp}:
> 	Update this test case for recent changes to term_to_xml.m.
> 
> 	Document the remaining bug that causes this test case to still fail.
> 
> tests/EXPECT_FAIL_TESTS.all_grades:
> 	For now, expect the condition_bug test case to fail for grades that
> 	execute it.
> 
> runtime/mercury_type_info.[ch]:
> 	Add a utility function to print the type represented by a type_info.
> 
> trace/mercury_trace_vars.c:
> 	Use the new utility function to print the type of each variable when
> 	the var_details command is given. This is how I tracked down the
> 	remaining bug in the condition_bug test case.

We should probably have a test case for the var_details command.

Otherwise that looks fine.

Ian.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list