[mercury-users] overloading predicates/functions

[Michael Day]

Is it possible to overload predicates or functions in Mercury by the type
of their arguments, as well as the arity?

If not, how do people normally cope with functions that need to take
several possible types, but not *every* possible type? By creating
multiple names with suffixes like _float, _string, etc?

Michael


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