[m-rev.] trivial diff: avoid ambiguous overloading

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Aug 11 20:19:13 AEST 2005

Zoltan fixed this on the main branch a while back - it doesn't
seem to have been showing up on Linux/OS X but did pop up
when building the release branch on Windows.

Estimated hours taken: 0.1
Branches: release

	Fix an ambiguity that shows up when compiling with
	intermodule-optimization enabled.


Index: modecheck_unify.m
RCS file: /home/mercury1/repository/mercury/compiler/modecheck_unify.m,v
retrieving revision
diff -u -r1.74.2.2 modecheck_unify.m
--- modecheck_unify.m	18 Mar 2005 03:33:05 -0000
+++ modecheck_unify.m	11 Aug 2005 10:02:40 -0000
@@ -576,9 +576,9 @@
 			% us most of what we want w.r.t. solver types.
 		not (
 			inst_is_free(ModuleInfo0, InstOfX),
-			member(InstArg, InstArgs),
+			list.member(InstArg, InstArgs),
 			inst_is_free(ModuleInfo0, InstArg),
-			member(ArgVar, ArgVars0),
+			list.member(ArgVar, ArgVars0),
 			ArgType = VarTypes ^ elem(ArgVar),
 			type_is_solver_type(ModuleInfo0, ArgType)

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