[mercury-users] Newbie problem. :)

[Richard A. O'Keefe]

Thomas Conway wrote:

	So, what should the behaviour of these declarations be wrt module
	boundaries?
	
The same as the behaviour of any other declaration about predicate
properties.  If it's in the public interface, then the compiler can
exploit it when compiling other modules.  If it's not in the public
interface, the compiler can only exploit it when compiling this module.
To be in the public interface, all the predicates in such a rule must
be publically available, although not necessarily exported by this
module.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------