[m-dev.] nightly tests failed

[Fergus Henderson]

Hi,

The nightly tests on quicksilver (which is the only machine using the
main branch) failed again yesterday.

Here is a list of some of the problems:

	- extras/clpr/cfloat.m got compilation errors.
	  This is due to the change to runtime/mercury_type_info.h
	  that zs committed recently ("remove several obsolete macros").
	  Zoltan, could you please fix this one?

	- tests/term/arit_exp.trans_opt is failing at "-O3 --opt-space",
	  because the .trans_opt file includes a `pragma termination_info'
	  for one of the procedures in the implementation section
	  of the module that is not listed in the .trans_opt_exp file.
	  This test case failure is spurious, i.e. it is caused by
	  a bug in the test, not a bug in the compiler.
	  This test case failure was caused by petdr's changes to
	  tests/term/Mmakefile: now that EXTRA_MCFLAGS is being honoured,
	  these tests are being run at different optimization levels,
	  and this leads to different output in the .trans_opt file.
	  The problem is that EXTRA_MCFLAGS occurs after MCFLAGS,
	  and so the options that disable inlining etc. get overridden
	  by the "-O3" option.  Probably the best fix would be to use
	  	ALL_MCFLAGS += $(MCTRANSOPTFLAGS)
	  rather than
	        MCFLAGS = $(MCTRANSOPTFLAGS),
	  so that the MCTRANSOPTFLAGS will override EXTRA_MCFLAGS rather
	  than vice versa.
	  Pete, could you please deal with this one?
	  (i.e. add that fix with an appropriate comment, test it, etc.)

	- tests/tabling/loopcheck fails in non-GC grades (e.g. asm_fast)
	  with the error message "Mercury runtime: Sorry, not implemented: 
	  tabling in non-GC grades".  This appears to be due to zs's
	  recent changes to tabling.  Zoltan, could you please fix this one?
	  One possible fix would be to just update the expected output
	  files to allow that as one of the possible expected outputs.
	  But I don't understand exactly what the problem with tabling
	  in non-GC grades is.  For accurate GC, calls to MR_add_root()
	  would be needed, but shouldn't it work OK as is for the no-GC case?
	  Would there be anything wrong with changing the `#ifdef CONSERVATIVE_GC'
	  test there to `#ifndef ACCURATE_GC'?

	- tests/debugger/loopcheck failed.
	  The cause was that the .exp2 file that zs committed was "not final yet".
	  I've fixed that one.

	- tests/debugger/browser_test failed.
	  The cause was that the line numbers in io.m have changed as a result of
	  zs's recent change to library/io.m.  I've fixed that one.

	- tests/debugger/existential_rtti failed with
	  "don't know how to make existential_rtti.out".
	  I think that one may be a transient glitch
	  due to `mmake depend' not having been run(?).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------