[m-rev.] diff: fix failure tests/tabling/memo_non

[Julien Fischer]

On Wed, 4 May 2005, Zoltan Somogyi wrote:

> On 04-May-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> >  :- pragma foreign_proc("C",
> >  	marker(S::in, A::in, B::in, X::out),
> > -	[will_not_call_mercury, promise_pure],
> > +	[may_call_mercury],
>
> What's the reason for may_call_mercury?
>

Mistake on my part.  I modified it to that when I was trying to work
out was wrong and didn't change it.  It's fixed now.

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