[m-rev.] diff: allow "pragma memo" to specify how to table each argument

[Ralph Becket]

Zoltan Somogyi, Sunday, 14 August 2005:
> This is what we talked about at the HAL meeting about ten days ago.
> I'll address any comments after commit.
> 
> Zoltan.
> 
> Add a new tabling method, one which specifies how each argument should
> be treated, like this:
> 
>     :- pragma memo(p(in, in, in, out), [value, addr, promise_implied, output]).

I've looked at the diff (not in depth) and it seems fine to me.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------