[m-rev.] diff: make the compiler bootcheck with --trace-optimized

[Zoltan Somogyi]

Make the compiler bootstrap with --trace-optimized.

tests/general/string_format_test_2.exp4:
tests/general/string_format_test_3.exp4:
tests/hard_coded/exceptions/test_uncaught_exception.exp4:
tests/hard_coded/no_fully_strict.exp4:
tests/tabling/loopcheck.exp4:
	Add the outputs we expect with --trace-optimized.

Zoltan.

cvs diff: Diffing tests
cvs diff: Diffing tests/benchmarks
cvs diff: Diffing tests/debugger
cvs diff: Diffing tests/debugger/declarative
cvs diff: Diffing tests/dppd
cvs diff: Diffing tests/general
Index: tests/general/string_format_test_2.exp4
===================================================================
RCS file: string_format_test_2.exp4
diff -N string_format_test_2.exp4
--- /dev/null	Fri Dec  1 02:25:58 2000
+++ string_format_test_2.exp4	Thu Mar 14 17:28:01 2002
@@ -0,0 +1,8 @@
+Uncaught exception:
+Software Error: string__format: format string invalid.
+Stack dump follows:
+   0       pred exception:throw/1-0 (erroneous) (exception.m:NNNN)
+   1       pred require:error/1-0 (erroneous) (require.m:NNNN)
+   2       pred string:format/3-0 (det) (string.m:NNNN)
+   3       pred io:format/4-0 (det) (io.m:NNNN)
+   4       pred string_format_test_2:main/2-0 (det) (string_format_test_2.m:13)
Index: tests/general/string_format_test_3.exp4
===================================================================
RCS file: string_format_test_3.exp4
diff -N string_format_test_3.exp4
--- /dev/null	Fri Dec  1 02:25:58 2000
+++ string_format_test_3.exp4	Thu Mar 14 17:28:07 2002
@@ -0,0 +1,9 @@
+Uncaught exception:
+Software Error: string__format: invalid conversion specifier.
+Stack dump follows:
+   0       pred exception:throw/1-0 (erroneous) (exception.m:NNNN)
+   1       pred require:error/1-0 (erroneous) (require.m:NNNN)
+   2       pred string:format_string/5-0 (det) (string.m:NNNN)
+   3       pred string:format/3-0 (det) (string.m:NNNN)
+   4       pred io:format/4-0 (det) (io.m:NNNN)
+   5       pred string_format_test_3:main/2-0 (det) (string_format_test_3.m:13)
cvs diff: Diffing tests/general/accumulator
cvs diff: Diffing tests/general/structure_reuse
cvs diff: Diffing tests/hard_coded
Index: tests/hard_coded/no_fully_strict.exp4
===================================================================
RCS file: no_fully_strict.exp4
diff -N no_fully_strict.exp4
--- /dev/null	Fri Dec  1 02:25:58 2000
+++ no_fully_strict.exp4	Thu Mar 14 17:44:53 2002
@@ -0,0 +1,6 @@
+Uncaught exception:
+Software Error: oops
+Stack dump follows:
+   0       pred exception:throw/1-0 (erroneous) (exception.m:NNNN)
+   1       pred require:error/1-0 (erroneous) (require.m:NNNN)
+   2       pred no_fully_strict:main/2-0 (det) (no_fully_strict.m:12)
cvs diff: Diffing tests/hard_coded/exceptions
Index: tests/hard_coded/exceptions/test_uncaught_exception.exp4
===================================================================
RCS file: test_uncaught_exception.exp4
diff -N test_uncaught_exception.exp4
--- /dev/null	Fri Dec  1 02:25:58 2000
+++ test_uncaught_exception.exp4	Thu Mar 14 17:29:19 2002
@@ -0,0 +1,5 @@
+Uncaught exception:
+"<exception thrown from main>"
+Stack dump follows:
+   0       pred exception:throw/1-0 (erroneous) (exception.m:NNNN)
+   1       pred test_uncaught_exception:main/2-0 (cc_multi) (test_uncaught_exception.m:25)
cvs diff: Diffing tests/hard_coded/purity
cvs diff: Diffing tests/hard_coded/sub-modules
cvs diff: Diffing tests/hard_coded/typeclasses
cvs diff: Diffing tests/invalid
cvs diff: Diffing tests/invalid/purity
cvs diff: Diffing tests/misc_tests
cvs diff: Diffing tests/recompilation
cvs diff: Diffing tests/tabling
Index: tests/tabling/loopcheck.exp4
===================================================================
RCS file: loopcheck.exp4
diff -N loopcheck.exp4
--- /dev/null	Fri Dec  1 02:25:58 2000
+++ loopcheck.exp4	Mon Mar 18 10:18:42 2002
@@ -0,0 +1,7 @@
+Uncaught exception:
+Software Error: detected infinite recursion in pred loopcheck:loop/1
+Stack dump follows:
+   0       pred exception:throw/1-0 (erroneous) (exception.m:NNNN)
+   1       pred require:error/1-0 (erroneous) (require.m:NNNN)
+   2    2* pred loopcheck:loop/1-0 (erroneous) (loopcheck.m:17)
+   4       pred loopcheck:main/2-0 (det) (loopcheck.m:13)
cvs diff: Diffing tests/term
cvs diff: Diffing tests/valid
cvs diff: Diffing tests/warnings
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------