[m-dev.] purity of `:- pragma foreign_proc'

[Peter Ross]

Tyson wrote:
> Let me collect the syntax proposals together:
> 
> (1) :- pragma pure foreign_proc(...). % or semipure or impure
> (2) :- pragma promise_pure foreign_proc(...).   % or promise_semipure
> 
> and I'd like to throw in
> 
> (3) :- pragma foreign_proc(..., [promise_pure]). % or promise_semipure
> 
> Note that with (2) and (3) there doesn't seem to be any need to allow
> promise_impure but I guess we could allow it anyway and it would do
> absolutely nothing. 
> 
(3) for me.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------