[m-dev.] diff: bug fix to make accumulator tests succeed

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 1

Fix the bug that was causing the overnight tests to fail in the
accumulator directory.

tests/general/accumulator/Mmakefile:
    Turn on intermodule optimization, so that the fact that + is
    commutative becomes known.

tests/general/accumulator/runtests:
    Turn the tests back on.


Index: Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/tests/general/accumulator/Mmakefile,v
retrieving revision 1.4
diff -u -r1.4 Mmakefile
--- Mmakefile	1999/07/16 07:09:48	1.4
+++ Mmakefile	1999/10/26 06:05:55
@@ -37,7 +37,8 @@
 	# Accumulators aren't introduced for -O5
 	# this is just a temp workaround
 override EXTRA_MCFLAGS =
-MCFLAGS = -d accum --introduce-accumulators --optimize-constructor-last-call
+MCFLAGS = -d accum --introduce-accumulators --optimize-constructor-last-call \
+		--intermodule-optimization
 
     # programs which aren't working.
 NOT_WORKING =
Index: runtests
===================================================================
RCS file: /home/staff/zs/imp/tests/general/accumulator/runtests,v
retrieving revision 1.3
diff -u -r1.3 runtests
--- runtests	1999/10/03 08:20:05	1.3
+++ runtests	1999/10/26 06:05:03
@@ -22,10 +22,6 @@
 cat *.res > .allres
 if test ! -s .allres -a "$checkstatus" = 0
 then
-    # XXX zs: disable these checks until we pass them
-    echo "the tests in the general/accumulator directory are not fully enabled"
-    exit 0
-
     grep -h "% mode.*AccFrom" *hlds*acc* | sed -e 's/number//' \
         | sed -e 's/ of predicate//g' > I.$$
     diff -u INTRODUCED I.$$ > INTRODUCED.diff

----
 +----------------------------------------------------------------------+
 | Peter Ross      M Sci/Eng Melbourne Uni                              |
 | petdr at cs.mu.oz.au  WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158  |
 +----------------------------------------------------------------------+
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------