[mercury-users] Newbie problem. :)

Peter Schachte schachte at cs.mu.OZ.AU
Wed Jun 16 15:59:43 AEST 1999


On Wed, Jun 16, 1999 at 03:48:14PM +1000, Thomas Conway wrote:
> On Wed, Jun 16, 1999 at 03:22:52PM EST, Peter Schachte wrote:
> > Agreed.  But with a declaration to tell the compiler that a number of
> > goals are mutually exclusive, that isn't a problem. 
> 
> So, what should the behaviour of these declarations be wrt module
> boundaries?

If the declaration appears in the interface section of the module
exporting the predicates, then the compiler should respect it and
consider those predicates exclusive in any module they are imported
into.

-- 
Peter Schachte                     Only when the last tree has died And the
mailto:schachte at cs.mu.OZ.AU        last river been poisoned And the last
http://www.cs.mu.oz.au/~schachte/  fish caught Will we realize that we
PGP: finger schachte at 128.250.37.3  cannot eat money. -- The Cree 
--------------------------------------------------------------------------
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