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

[Fergus Henderson]

On 13-Jun-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> 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?

To avoid a compiler warning when compiling the library.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------