[mercury-users] ambiguous overloading

Michael Day mikeday at yeslogic.com
Tue Feb 25 17:21:58 AEDT 2003


When using map and multi_map I have to explicitly qualify "search" 
otherwise the compiler gets confused:

	error: ambiguous overloading causes type ambiguity.
	One or more of the predicates or functions called
	is declared in more than one module.
	Try adding explicit module qualifiers.

I thought it could infer which one to call from the type, given that I'm
either passing in a map or a multi_map?


mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list