[m-rev.] trivial diff: fix tests/hard_coded/multimode.m

Simon Taylor stayl at cs.mu.OZ.AU
Fri May 18 19:43:38 AEST 2001



Estimated hours taken: 0.1

tests/hard_coded/multimode.m:
tests/hard_coded/multimode.exp:
	Fix a bug in this test case -- one of the modes was commented out,
	resulting in a determinism error.


Index: multimode.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/multimode.exp,v
retrieving revision 1.1
diff -u -u -r1.1 multimode.exp
--- multimode.exp	2001/05/16 17:28:40	1.1
+++ multimode.exp	2001/05/18 09:28:49
@@ -1,6 +1,7 @@
 func0 = out
 func1(in) = out
 func1(out) = out
+func2(in, in) = out
 func2(in, out) = out
 func2(out, in) = out
 func2(out, out) = out
Index: multimode.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/multimode.m,v
retrieving revision 1.1
diff -u -u -r1.1 multimode.m
--- multimode.m	2001/05/16 17:28:40	1.1
+++ multimode.m	2001/05/18 09:28:40
@@ -45,12 +45,12 @@
 
 :- pragma promise_pure(func2/2). % XXX technically this is a lie
 :- func func2(int, int) = string.
-%:- mode func2(in, in) = out is det.
+:- mode func2(in, in) = out is det.
 :- mode func2(in, out) = out is det.
 :- mode func2(out, in) = out is det.
 :- mode func2(out, out) = out is det.
-%func2(_::in, _::in) = (R::out) :-
-%	R = "func2(in, in) = out".
+func2(_::in, _::in) = (R::out) :-
+	R = "func2(in, in) = out".
 func2(_::in, 0::out) = (R::out) :-
 	R = "func2(in, out) = out".
 func2(0::out, _::in) = (R::out) :-
--------------------------------------------------------------------------
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