[m-rev.] trivial diff: shut up test/warnings/purity_warnings

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Feb 6 15:00:51 AEDT 2006


Estimated hours taken: 0.1
Branches: main

tests/warnings/purity_warnings.exp:
	Update this expected output for this test case so that it matches
	what the compiler currently outputs.

	XXX The expected output changed because of (one of) Ralph's changes
	    to the purity system.  Since it's going to be changed again the
	    main point of this diff is just to shut the nightly tests up.
	    (I don't really want to disable the test case since some of
	    the behaviour it tests is what we want.)

Julien.

Index: purity_warnings.exp
===================================================================
RCS file: /home/mercury1/repository/tests/warnings/purity_warnings.exp,v
retrieving revision 1.4
diff -u -r1.4 purity_warnings.exp
--- purity_warnings.exp	22 Nov 2005 07:55:38 -0000	1.4
+++ purity_warnings.exp	6 Feb 2006 03:56:08 -0000
@@ -11,9 +11,15 @@
 purity_warnings.m:036: In call to predicate `io.write_string/3':
 purity_warnings.m:036:   warning: unnecessary `semipure' indicator.
 purity_warnings.m:036:   No purity indicator is necessary.
+purity_warnings.m:034: In predicate `purity_warnings.semipure_pred/2':
+purity_warnings.m:034:   warning: declared semipure but actually pure.
 purity_warnings.m:065: In call to predicate `io.print/3':
 purity_warnings.m:065:   warning: unnecessary `impure' indicator.
 purity_warnings.m:065:   No purity indicator is necessary.
+purity_warnings.m:060: In predicate `purity_warnings.impure_method1a_impl/2':
+purity_warnings.m:060:   warning: declared impure but actually pure.
 purity_warnings.m:071: In call to predicate `io.print/3':
 purity_warnings.m:071:   warning: unnecessary `semipure' indicator.
 purity_warnings.m:071:   No purity indicator is necessary.
+purity_warnings.m:062: In predicate `purity_warnings.semipure_method_a_impl/2':
+purity_warnings.m:062:   warning: declared semipure but actually pure.

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



More information about the reviews mailing list