[m-rev.] diff: fix failing test cases

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Feb 4 14:37:21 AEDT 2005


Estimated hours taken: 0.2
Branches: main, release

Fix some test cases that were failing as a result of the recent
changes to the library.

tests/general/intermod_type2.m:
tests/invalid/uniq_neg.m:
tests/mostly_uniq_neg.m:
	s/mutvar/store_mutvar/

Julien.

Index: general/intermod_type2.m
===================================================================
RCS file: /home/mercury1/repository/tests/general/intermod_type2.m,v
retrieving revision 1.3
diff -u -r1.3 intermod_type2.m
--- general/intermod_type2.m	16 Apr 2000 06:20:56 -0000	1.3
+++ general/intermod_type2.m	4 Feb 2005 03:11:53 -0000
@@ -19,7 +19,7 @@

 :- type curse	== store(my_store_type).

-:- type win == mutvar(window, my_store_type).
+:- type win == store_mutvar(window, my_store_type).

 :- type window
 	--->	win(
Index: invalid/uniq_neg.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/uniq_neg.m,v
retrieving revision 1.1
diff -u -r1.1 uniq_neg.m
--- invalid/uniq_neg.m	19 Nov 1999 13:22:20 -0000	1.1
+++ invalid/uniq_neg.m	4 Feb 2005 03:13:52 -0000
@@ -6,7 +6,7 @@
 :- interface.
 :- import_module list, store.

-:- type term(S) == mutvar(term_type(S), S).
+:- type term(S) == store_mutvar(term_type(S), S).
 :- type var(S) == term(S).
 :- type term_type(S) ---> free ; functor(string, int, list(term(S))).

Index: valid/mostly_uniq_neg.m
===================================================================
RCS file: /home/mercury1/repository/tests/valid/mostly_uniq_neg.m,v
retrieving revision 1.1
diff -u -r1.1 mostly_uniq_neg.m
--- valid/mostly_uniq_neg.m	19 Nov 1999 13:22:25 -0000	1.1
+++ valid/mostly_uniq_neg.m	4 Feb 2005 03:32:28 -0000
@@ -6,7 +6,7 @@
 :- interface.
 :- import_module list, store.

-:- type term(S) == mutvar(term_type(S), S).
+:- type term(S) == store_mutvar(term_type(S), S).
 :- type var(S) == term(S).
 :- type term_type(S) ---> free ; functor(string, int, list(term(S))).

@@ -21,7 +21,7 @@

 :- external(occurs/4).

-:- pred tr_store_set_mutvar(mutvar(T, S), T, store(S), store(S)).
+:- pred tr_store_set_mutvar(store_mutvar(T, S), T, store(S), store(S)).
 :- mode tr_store_set_mutvar(in, in, mdi, muo) is det.

 :- external(tr_store_set_mutvar/4).

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