[m-rev.] trivial diff: fix a failing test case

Julien Fischer juliensf at students.cs.mu.OZ.AU
Sat Mar 20 15:57:21 AEDT 2004


Estimated hours taken: 0.1
Branches: main

tests/valid/intermod_lambda2.m:
	Fix a test that no longer compiles due to a type
	ambiguity caused by the inclusion of list.cons/3
	in the library.

Julien.

Index: intermod_lambda2.m
===================================================================
RCS file: /home/mercury1/repository/tests/valid/intermod_lambda2.m,v
retrieving revision 1.4
diff -u -r1.4 intermod_lambda2.m
--- intermod_lambda2.m	12 Aug 2001 08:16:31 -0000	1.4
+++ intermod_lambda2.m	20 Mar 2004 01:38:24 -0000
@@ -21,12 +21,12 @@
 	Test = ((pred) is semidet),
 	TestFunc = ((func) = 1),
 	Cons = lambda([Elem::in, L0::in, L::out] is det, (
-			cons(Elem, L0, L)
+			intermod_lambda2__cons(Elem, L0, L)
 		)),
 	t(Test, TestFunc, Generator, Cons, [], List).

-:- pred cons(T::in, list(T)::in, list(T)::out) is det.
-cons(H, T, [H|T]).
+:- pred intermod_lambda2__cons(T::in, list(T)::in, list(T)::out) is det.
+intermod_lambda2__cons(H, T, [H|T]).

 :- pred t((pred), ((func) = int), pred(T), pred(T,T2,T2), T2, T2).
 :- mode t((pred) is semidet, ((func) = out is det),
--------------------------------------------------------------------------
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