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

[Zoltan Somogyi]

On 31-Oct-2001, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> Good point.  Probably impure should be the default.  One simple extension
> would be to support the syntax
> 
> 	:- pragma pure foreign_proc ...
> 
> so purity could be concisely specified.  Going further, Mercury could
> require one of pure, impure, or semipure to always be stated in the
> foreign_proc declaration, between pragma and foreign_proc.  That approach
> would get my vote.

<aol>Mine too.</aol>

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