[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