[m-dev.] diff: fix .exp* files for uncaught exception tests

Fergus Henderson fjh at cs.mu.OZ.AU
Tue May 16 05:42:22 AEST 2000


On 16-May-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 1
> 
> tests/Mmake.common:
> 	Add support for `.exp3' files.
> 
> tests/general/string_format_test_2.exp3:
> tests/general/string_format_test_3.exp3:
> tests/hard_coded/exceptions/test_uncaught_exception.exp3:
> 	Add new alternative expected outputs for these test cases,
> 	to match what the MLDS back-end outputs for uncaught exceptions.

Oops, missed a couple.

----------

Estimated hours taken: 0.25

tests/hard_coded/no_fully_strict.exp3:
tests/tabling/loopcheck.exp3:
	Add new alternative expected outputs for these test cases,
	to match what the MLDS back-end outputs for uncaught exceptions.

Workspace: /home/pgrad/fjh/ws/hg
Index: tests/hard_coded/no_fully_strict.exp3
===================================================================
RCS file: no_fully_strict.exp3
diff -N no_fully_strict.exp3
--- /dev/null	Thu Mar 30 14:06:13 2000
+++ no_fully_strict.exp3	Tue May 16 04:56:41 2000
@@ -0,0 +1,2 @@
+Uncaught exception:
+Software Error: oops
Index: tests/tabling/loopcheck.exp3
===================================================================
RCS file: loopcheck.exp3
diff -N loopcheck.exp3
--- /dev/null	Thu Mar 30 14:06:13 2000
+++ loopcheck.exp3	Tue May 16 04:57:29 2000
@@ -0,0 +1,2 @@
+Uncaught exception:
+Software Error: detected infinite recursion in pred loopcheck:loop/1
-- 
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
--------------------------------------------------------------------------



More information about the developers mailing list