[mercury-users] name clashes in typeclasses

[Michael Day]

Hi,

is it possible for two type classes in the same module to contain a
predicate with the same name? If not, would it be possible for these
predicates to be qualified by type class name in some way? If a queue and
a stack are both declared in the same module it appears that they can't
both have a method called "push". It would be nice if the methods could be
referred to as stack.push and queue.push (or stack__push or whatever) in a
similar way to module qualifiers. Okay in this case it's not unreasonable
to separate the two type classes in different modules, but still on some
occasions it could cause some grief...

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