[m-rev.] diff: allow :- externals and foreign_procs to be backend-specific

[Julien Fischer]

On Mon, 7 Mar 2005, Zoltan Somogyi wrote:

> Provide a mechanism to allow a predicate to be defined as a foreign_proc for
> one backend and as external for another backend. The intended use is to
> implement builtin_catch in exception.m, which cannot be implemented as a
> foreign_proc for hlc grades, but whose implementation as external for the
> LLDS grades requires handwriting extremely error-prone code and data structures
> that the compiler could generate reliably.
>
That looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------