[m-rev.] diff: mercury versions of library pragma foreign_procs

[Peter Ross]

On Tue, Jun 11, 2002 at 10:01:20PM +1000, Fergus Henderson wrote:
> > @@ -1434,6 +1460,15 @@
> >  	cc_multi_equal(X::di, Y::uo),
> >  	[will_not_call_mercury, thread_safe, promise_pure],
> >  	"Y = X;").
> > +
> > +semidet_succeed :-
> > +	private_builtin__sorry("semidet_succeed").
> > +semidet_fail :-
> > +	private_builtin__sorry("semidet_fail").
> 
> These should just call `true' and `fail' respectively.
> 
> > +:- pragma promise_pure(cc_multi_equal/2).
> > +cc_multi_equal(_, _) :-
> > +	private_builtin__sorry("cc_multi_equal").
> 
> That should just call =/2.
> 
So why do we have a foreign implementation then?

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