[m-rev.] diff: allow memo tables to be reset

[Ralph Becket]

Ian MacLarty, Monday,  7 March 2005:
> Zoltan Somogyi wrote:
> >This is for Ralph.
> >
> >Add a mechanism for resetting all the tables implementing loopcheck, memo
> >and minimal_model pragmas in a given module. This mechanism is intended for
> >use only by implementors, to wit, Ralph's meaurements of packrat parsing.
> >
> 
> This is not a comment on this diff, just an idea.
> 
> Would it be a good idea to have a version of memoing where the memo 
> tables only last for the duration of a call?  For example there may be 
> predicates whose internal computations can benefit from memoing, but 
> where the data in the memoing tables is unlikely to be used between 
> different calls to the predicate (because the values used in the 
> internal computations will be different for each call).
> 
> Ian.

I think this is a good idea.  Without it, tabling is only useful for
short-lived programs.

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