[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