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

[Ian MacLarty]

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.

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