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

[Simon Taylor]

Before the `:- pragma foreign_proc' syntax becomes widely
used, we should decide what the default purity for foreign
procedures should be. If we are going to make people change
their `:- pragma c_code' declarations to `:- pragma foreign_proc',
we should make any purity annotation changes happen at the same time.

At the moment, predicates defined using `:- pragma foreign_proc'
are `pure' by default, but predicates defined using mode-specific
clauses are `impure' by default, even though `:- pragma foreign_proc'
can implement a strict superset of the `impure' behaviour that can be
implemented using mode-specific clauses.

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