[mercury-users] Uniqueness modes etc

[Fergus Henderson]

On 08-Jan-2004, Dr Mark H Phillips <mark at austrics.com.au> wrote:
> > Note that absolute information hiding is not feasible, since the generic
> > predicate may call C code that has access to the entire address space
> > of the process.
> 
> Useful to know, thanks.  Does calling C code render the predicate
> "impure"?

With the new foreign language interface, yes, unless you explicitly
promise that it is pure, which you can do by using a "promise_pure"
annotation on the "pragma foreign_proc" declaration or by using
a "pragma promise_pure" declaration.

(With the original C interface, the answer was no, unless you explicitly
declared the predicate as impure.)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------