[m-rev.] trivial diff: fix nightly builds on jupiter and earth

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Apr 22 09:51:44 AEST 2005


Estimated hours taken: 0.1
Branches: main

compiler/check_typeclass.m:
	Module qualify calls to list.member so that the compiler
	builds with intermodule-optimization enabled.

Julien.

Index: check_typeclass.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/check_typeclass.m,v
retrieving revision 1.70
diff -u -r1.70 check_typeclass.m
--- check_typeclass.m	20 Apr 2005 12:57:09 -0000	1.70
+++ check_typeclass.m	21 Apr 2005 23:42:45 -0000
@@ -1330,8 +1330,8 @@
 	RangeTypes = restrict_list_elements(Range, Types),
 	RangeVars = term.vars_list(RangeTypes),
 	solutions((pred(V::out) is nondet :-
-			member(V, RangeVars),
-			\+ member(V, DomainVars)
+			list.member(V, RangeVars),
+			\+ list.member(V, DomainVars)
 		), UnboundVars),
 	(
 		UnboundVars = []

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