[mercury-users] Newbie problem. :)

[Robert Ernst Johann JESCHOFNIK]

On Thu, 17 Jun 1999, Thomas Conway wrote:

> If you restrict the declarations so that I can only declare
> mutual exclusion for predicates defined in *this* module, then checking
> should be possible.

This seems to be the intuitive way to do it, anyway.. I find it odd that
people would suggest otherwise. As long as a module can export its mutual
exclusion rules along with the exported predicates, then there should be
no problem.
Making an assertion like this about predicates you have imported from
elsewhere seems.. well.. daft, as you have no information about their
implementation. I think it is safe to be able to believe a module
exporting the predicates when it tells you they are mutually exclusive,
though - you wouldn't have to check it in the importing module.

Hrm, crap. exam in two hours - time to go.

Rob

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