[m-dev.] diff: update tests for error throwing exception

Peter Ross petdr at cs.mu.OZ.AU
Thu Sep 2 15:51:10 AEST 1999


Hi,

This also happened in the general directory but I have already 
checked in that fix.

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


Estimated hours taken: 0.1

Update tests to reflect that error now throws an exception.

hard_coded/no_fully_strict.exp:
hard_coded/no_fully_strict.exp2:

Index: no_fully_strict.exp
===================================================================
RCS file: /home/staff/zs/imp/tests/hard_coded/no_fully_strict.exp,v
retrieving revision 1.2
diff -u -r1.2 no_fully_strict.exp
--- no_fully_strict.exp	1998/03/12 01:54:55	1.2
+++ no_fully_strict.exp	1999/09/02 05:29:06
@@ -1,2 +1,3 @@
-Software error: oops
+Uncaught exception:
+Software Error: oops
 Stack dump not available in this grade.
Index: no_fully_strict.exp2
===================================================================
RCS file: /home/staff/zs/imp/tests/hard_coded/no_fully_strict.exp2,v
retrieving revision 1.2
diff -u -r1.2 no_fully_strict.exp2
--- no_fully_strict.exp2	1998/11/16 07:26:58	1.2
+++ no_fully_strict.exp2	1999/09/02 05:29:09
@@ -1,4 +1,5 @@
-Software error: oops
+Uncaught exception:
+Software Error: oops
 Stack dump follows:
    0       pred require:error/1-0 (erroneous)
    1       pred no_fully_strict:main/2-0 (det)

----
 +----------------------------------------------------------------------+
 | 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
--------------------------------------------------------------------------



More information about the developers mailing list